: Covers recursion theory (computability), Gödel’s incompleteness theorems , axiomatic set theory, and an introduction to model theory. Key Features Go to product viewer dialog for this item. Mathematical Logic: A Course with Exercises

: Explores the deeper, limitative results and foundational structures of mathematics.

The two-volume series by René Cori and Daniel Lascar is an established undergraduate textbook published by Oxford University Press . Translated from the original French by Donald Pelletier, it is designed to provide a clear, coherent introduction to the field, with the concept of the model serving as its unifying theme. Overview of the Volumes

The course is divided into two distinct parts, each focusing on foundational and advanced topics:

Focus : Establishes the basic syntax and semantics of logic.

: Includes propositional calculus, the algebraic approach via Boolean algebras, predicate calculus, and culminate in the completeness theorems . Details : Available in paperback and hardcover editions.