The course is divided into two distinct parts, each focusing on foundational and advanced topics:
: Explores the deeper, limitative results and foundational structures of mathematics. Mathematical Logic: A Course with Exercises Par...
: Includes propositional calculus, the algebraic approach via Boolean algebras, predicate calculus, and culminate in the completeness theorems . Details : Available in paperback and hardcover editions. The course is divided into two distinct parts,