 | Le Point Aveugle: Tome 1. Cours de Logique, Vers la perfection.
De Jean-Yves Girard
Editeur : Hermann Science
Parution le : 7 Juillet 2006
Ce cours de théorie de la démonstration s'adresse aux mathématiciens, informaticiens, physiciens, mais également philosophes et linguistes. Il propose trois grandes parties : Les bases (existence contre essence, le théorème d'incomplétude...) ; Autour de Curry-Howard (interprétations fonctionnelles, le système F...) ; La logique linéaire (espaces cohérents, perfection et imperfection...). |
Fiche livre
