: 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
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 Mathematical Logic: A Course with Exercises Par...
: Explores the deeper, limitative results and foundational structures of mathematics. Translated from the original French by Donald Pelletier,
The course is divided into two distinct parts, each focusing on foundational and advanced topics: Details : Available in paperback and hardcover editions
: Includes propositional calculus, the algebraic approach via Boolean algebras, predicate calculus, and culminate in the completeness theorems . Details : Available in paperback and hardcover editions.
Focus : Establishes the basic syntax and semantics of logic.