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

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. 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

Born of Aurélie and Laurent's passion for aviation, OpsForm is a training organization based in the Bordeaux region, covering all aeronautical professions linked to airport operations and flight operations.

Our training solutions are adaptable and can be classroom-based in our training center (on the Aérocampus Aquitaine site), distance learning so that you can develop at your own pace*, or in-house so that you can always benefit from the training conditions best suited to your needs and desires.
* Some training solutions cannot be offered remotely, as they require practical experience in the field or training resources available only at our training center.