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 course is divided into two distinct parts, each focusing on foundational and advanced topics: Mathematical Logic: A Course with Exercises Par...

Focus : Establishes the basic syntax and semantics of logic. : Covers recursion theory (computability)

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 Gödel’s incompleteness theorems