 |
|
| HANDBOOK OF PROOF THEORY
| |
| | |
|
|
 To order this title, and for more information, click here
Edited By
S.R. Buss, Dept. of Mathematics and Computer Science, University of California, San Diego, La Jolla, CA, USA
Included in series
Studies in Logic and the Foundations of Mathematics, 137
Description
This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should
not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians,
computer scientists and philosophers. Many of the central topics of proof theory have been included in a self-contained expository of
articles, covered in great detail and depth.
The chapters are arranged so that the two introductory articles come first; these are
then followed by articles from core classical areas of proof theory; the handbook concludes with articles that deal with topics closely
related to computer science.
Contents
Preface. List of Contributors. I. An Introduction to Proof Theory (S.R. Buss). II. First-Order Proof Theory of Arithmetic (S.R. Buss).
III. Hierarchies of Provably Recursive Functions (M. Fairtlough, S.S. Wainer). IV. Subsystems of Set Theory and Second Order Number Theory
(W. Pohlers). V. Gödel's Functional ("Dialectica") Interpretation (J. Avigad, S. Feferman). VI. Realizability (A.S. Troelstra).
VII. The Logic of Provability (G. Japaridze, D. de Jongh). VIII. The Lengths of Proofs (P. Pudlák). IX. A Proof-Theoretic Framework
for Logic Programming (G. Jäger, R.F. Stärk). X. Types in Logic, Mathematics and Programming (R.L. Constable). Name Index.
Subject Index.
Bibliographic & ordering Information
Hardbound, publication date: JUL-1998
ISBN-13: 978-0-444-89840-1
ISBN-10: 0-444-89840-9
Imprint: ELSEVIER
Price: Order form
GBP 107
USD 182
EUR 161
Books and book related electronic products are priced in US dollars (USD), euro (EUR), and Great Britain Pounds (GBP). USD prices apply to the Americas and Asia Pacific. EUR prices apply in Europe and the Middle East. GBP prices apply to the UK and all other countries.
See also information about conditions of sale & ordering procedures, and links to our regional sales offices.
050/500
Last update: 12 May 2008
|
|
| |
| | |
|
|
| |
