FOUNDATIONS OF MATHEMATICAL LOGIC

By Y. CAINE

1 SYNTAX OF FIRST-ORDER LOGIC 2 SEMANTICS OF FIRST-ORDER LANGUAGES 3 PROPOSITIONAL LOGIC 4 PROOF AND METATHEOREMS IN FIRST-ORDER LOGIC 5 COMPLETENESS THEOREM AND MODEL THEORY 6 RECURSIVE FUNCTIONS AND ARITHMETIZATION OF THEORIES 7 INCOMPLETENESS THEOREMS AND RECURSION THEORY