Daniel Lascar profile picture

Daniel Lascar

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Recursion Theory, Godel's Theorems, Set Theory, Model Theory (Mathematical Logic: A Course With Exercises, Part II)
Mathematical Logic : A course with exercises -- Part I -- Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems
Mathematical Logic: A Course with Exercises: Pt.2: Recursion Theory, Godel's Theorem, Set Theory and Model Theory
Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems
Logique mathématique cours et exercices corrigés. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles. 2