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