[Prev][Next][Index][Thread]

A new book of logic





K Nour, C Raffalli and myself have written a book of logic with
particular emphasis on proof theory:

http://www.lama.univ-savoie.fr/sitelama/Membres/pages_web//RAFFALLI/dnr.html/

This book, written in French, is mostly destinated to undergraduate
students but can be used also by graduate ones.
The summary is :

- First order logic. Natural deduction. Examples in ordinary
mathematics.
- Semantics of first order logic. Completeness theorem. Compactness
theorem. A bit of model theory.
- Algebraic theories. Peano arithmetic. Set theory. Incompletness
results. Quantifier elimination. Examples of decidable theories.
- Minimal and intuitionistic logic. Gödel and Kuroda translation. Kripke
models. Heyting arithmetic.
- Sequent calculus. The theorem on the elimination of cuts and its
consequences.
- Higher order logics.
- Automated deduction. Unification, resolution and the tableaux method.
- The proof assistant PhoX.
- Solutions of the exercices.