English
Beginner
Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems
Rene Cori,Daniel Lascar,Donald H. Pelletier
2002
View book