Mathematical Logic: A Course with Exercises Part 2

Recursion Theory, Godel's Theorems, Set Theory, Model Theory

by (author) René Cori & Daniel Lascar
translated by Donald Pelletier

Mathematical Logic: A Course With Exercises Part 1

Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

by (author) René Cori & Daniel Lascar
translated by Donald Pelletier

Mathematical Logic: A Course With Exercises Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

by (author) René Cori & Daniel Lascar
translated by Donald Pelletier