Résumé
This introduction to the basic ideas of structural proof
theory contains a thorough discussion and comparison of
various types of formalization of first-order logic.
Examples are given of several areas of application, namely
the metamathematics of pure first-order logic
(intuitionistic: as well as classical); the theory of logic
programming; category theory; modal logic; linear logic;
first-order arithmetic and second-order logic.
In each case the aim is to illustrate the methods in
relatively simple situations and then apply them elsewhere
in much more complex settings. There are numerous exercises
throughout the text.
In general, the only prerequisite is a standard course in
first-order logic, making the book ideal for graduate
students and beginning researchers in mathematical logic,
theoretical computer science and artificial
intelligence.
For the new edition, many sections have been rewritten to
improve clarity~ new sections have been added on cut
elimination, and solutions to selected exercises have been
included.
Contents
- Introduction
- N-systems and H-systems
- Gentzen systems
- Cut elimination with applications
- Bounds and permutations
- Normalization for natural deduction
- Resolution
- Categorical logic
- proof theory of arithmetic
- Secon-order logic
- Solutions to selected exercises
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Cambridge University Press |
| Auteur(s) | Troelstra |
| Parution | 01/07/2000 |
| Nb. de pages | 417 |
| Format | 15,2 x 22,5 |
| Couverture | Broché |
| Poids | 592g |
| Intérieur | Noir et Blanc |
| EAN13 | 9780521779111 |
Avantages Eyrolles.com
Livraison à partir de 0,01 € en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
