|
Logique mathématique - Tome 1 - Calcul propositionnel, algèbres de Boole, calcul des prédicats
by
|
|
|
Mathematical Logic : A course with exercises -- Part I -- Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems
by
3.43 avg rating — 7 ratings
—
published
1993
—
10 editions
|
|
|
Logique mathématique - Tome 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles: T 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles
by
really liked it 4.00 avg rating — 6 ratings
—
2 editions
|
|
|
Recursion Theory, Godel's Theorems, Set Theory, Model Theory (Mathematical Logic: A Course With Exercises, Part II)
by
it was amazing 5.00 avg rating — 2 ratings
—
published
2001
—
5 editions
|
|
|
La Théorie des modèles en peu de maux
by
really liked it 4.00 avg rating — 2 ratings
|
|
* Note: these are all the books on Goodreads for this author. To add more books,
click here.