Basic Proof Theory

Klappentext Introduction to proof theory and its applications in mathematical logic! theoretical computer science and artificial intelligence. Zusammenfassung 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. Inhaltsverzeichnis 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.

Détails du produit

• Auteurs: H. Schwichtenberg, Helmut Schwichtenberg, A. S. Troelstra, A. S. Schwichtenberg Troelstra, Anne S. Troelstra
• Edition: Cambridge University Press ELT
• Langues: Anglais
• Format d'édition: Livre de poche
• Sortie: 27.07.2000
• EAN: 9780521779111
• ISBN: 978-0-521-77911-1
• Pages: 432
• Thèmes: Cambridge Tracts in Theoretical Computer Science; Cambridge Tracts in Theoretica; Cambridge Tracts in Theoretical Computer Science
• Catégorie: Sciences naturelles, médecine, informatique, technique > Informatique, ordinateurs > Informatique