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: Mathematical Logic: A Course with Exercises Par...
: 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
Focus : Establishes the basic syntax and semantics of logic. Key Features Go to product viewer dialog for this item
: Includes propositional calculus, the algebraic approach via Boolean algebras, predicate calculus, and culminate in the completeness theorems . Details : Available in paperback and hardcover editions.