Mathematical Logic: A Course with Exercises (Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems)

Rene Cori , Daniel Lascar , Donald H. Pelletier (Translator)