Introduction to Mathematical Logic

Catalog description

Syntax and semantics of formal languages; sentential logic, proofs in first order logic; Godel’s completeness theorem; compactness theorem and applications; cardinals and ordinals; the Lowenheim-Skolem-Tarski theorem; Beth’s definability theorem; effectively computable functions; Godel’s incompleteness theorem; undecidable theories.