About Rene Cori Books by Rene Cori Mathematical Logic: A Course With Exercises Part 1 Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems by (author) Rene Cori & Daniel Lascar