Most Popular Books
- Recursion Theory, Godel's Theorems, Set Theory, Model Theory (Mathematical Logic: A Course With Exercises, Part II)
- Logique mathématique, tome 2 : Fonctions récursives, théorème de Gödel, théorie des ensembles
- Logique mathématique, tome 1 : Calcul propositionnel, algèbres de Boole, calcul des prédicats
- Mathematical Logic: A Course with Exercises: Propositional Calculus, Booelan Algebras, Predicate Calculus, Completeness Theorems Pt.1