A. S. Troelstra (Universiteit van Amsterdam), H. Schwichtenberg (Universitat Munchen)

Basic Proof Theory

• Broschiertes Buch

Produktbeschreibung

This is an introduction to the basic ideas of structural proof theory. 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.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Cambridge Tracts in Theoretical Computer Science
• Verlag: Cambridge University Press
• 2 Revised edition
• Seitenzahl: 432
• Erscheinungstermin: 13. Januar 2002
• Englisch
• Abmessung: 229mm x 152mm x 26mm
• Gewicht: 642g
• ISBN-13: 9780521779111
• ISBN-10: 0521779111
• Artikelnr.: 22475466

Inhaltsangabe

1. Introduction
2. N-systems and H-systems
3. Gentzen systems
4. Cut elimination with applications
5. Bounds and permutations
6. Normalization for natural deduction
7. Resolution
8. Categorical logic
9. Modal and linear logic
10. Proof theory of arithmetic
11. Second-order logic
Solutions to selected exercises. Bibliography
Symbols and notation
Index.