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.
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.
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.
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.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Shop der buecher.de GmbH & Co. KG Bürgermeister-Wegele-Str. 12, 86167 Augsburg Amtsgericht Augsburg HRA 13309
