Formal languages, syntactic-semantic, theorem-metatheorem, soundness and completeness and some model theory are the main topics covered from classical first-order logic, together with an outline of ...

From propositional logic and completeness, through the basics of set theory and model theory, to the incompleteness theorem, the author skillfully presents notions and proofs without shying away from ...