Daniel Lascar profile picture

Daniel Lascar

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