Mathematical Logic: A Course With Exercises Par... Apr 2026

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. Mathematical Logic: A Course with Exercises Par...

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 Focus : Establishes the basic syntax and semantics of logic

: Explores the deeper, limitative results and foundational structures of mathematics. the algebraic approach via Boolean algebras