Daniel Lascar
Identifiers
- Open LibraryOL2667362A
Top Subjects
- Mathematics (1)
- Set Theory (1)
- Philosophy Of Mathematics (1)
- Logic (1)
- Science/Mathematics (1)
- Mathematics / Logic (1)
- Mathematical And Symbolic Logic (1)
Books by Daniel Lascar
Total count: 4
Mathematical LogicA course with exercises -- Part I -- Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness TheoremsOxford University Press, USA2000-10-16
Mathematical Logic: A Course with Exercises Part IIRecursion Theory, Godel's Theorems, Set Theory, Model TheoryOxford University Press, USA2001-05-29
Recursion Theory, Godel's Theorems, Set Theory, Model Theory (Mathematical Logic: A Course With Exercises, Part II)Oxford University Press, USA2001-05-29
Logique mathématique, tome 2Fonctions récursives, théorème de Gödel, théorie des ensemblesDunod2003-01-15