"Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems " - читать интересную книгу автора (Rene Cori, Daniel Lascar, Donald H. Pelletier)