Handbook of Proof Theory

Contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. This book includes the central topics of proof theory. It concludes with articles that deal with topics closely related to computer science.

Table des matières

Preface. List of Contributors. Chapter I. An Introduction to Proof Theory (S.R. Buss). Chapter II. First-Order Proof Theory of Arithmetic (S.R. Buss). Chapter III. Hierarchies of Provably Recursive Functions (M. Fairtlough, S.S. Wainer). Chapter IV. Subsystems of Set Theory and Second Order Number Theory (W. Pohlers). Chapter V. Gödel's Functional ("Dialectica") Interpretation (J. Avigad, S. Feferman). Chapter VI. Realizability (A.S. Troelstra). Chapter VII. The Logic of Provability (G. Japaridze, D. de Jongh). Chapter VIII. The Lengths of Proofs (P. Pudl´k). Chapter IX. A Proof-Theoretic Framework for Logic Programming (G. Jäger, R.F. Stärk). Chapter X. Types in Logic, Mathematics and Programming (R.L. Constable). Name Index. Subject Index.

Commentaire

"The Handbook is most welcome in the logic community. I recommend the Handbook to researchers and graduate students in logic, mathematics, computer science, philosophy, linguistics, artificial intelligence, automated reasoning and cognitive sciences." --Bulletin of Symbolic Logic

Détails du produit

• Auteurs: S. R. Buss, Samuel R. Buss
• Collaboration: S. R. Buss (Editeur), S.R. Buss (Editeur), S.R. (Dept. of Mathematics and Computer Science Buss (Editeur)
• Edition: ELSEVIER SCIENCE BV
• Langues: Anglais
• Format d'édition: Livre Relié
• Sortie: 09.07.1998
• EAN: 9780444898401
• ISBN: 978-0-444-89840-1
• Pages: 824
• Thème: Studies in Logic and the Foundations of Mathematics
• Catégories: Sciences naturelles, médecine, informatique, technique > Informatique, ordinateurs > Informatique; MATHEMATICS / Logic, Mathematical logic