Review: Samuel R. Buss, Handbook of Proof Theory: Hierarchies of Provably Recursive Functions [Book Review]

Bulletin of Symbolic Logic 6 (4):466-467 (2000)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Samuel R. Buss, Handbook of Proof Theory: An Introduction to Proof Theory. [REVIEW]Toshiyasu Arai - 2000 - Bulletin of Symbolic Logic 6 (4):464-465.
Review: Samuel R. Buss, Handbook of Proof Theory: First-Order Proof Theory of Arithmetic. [REVIEW]Toshiyasu Arai - 2000 - Bulletin of Symbolic Logic 6 (4):465-466.
Review: Samuel R. Buss, Handbook of Proof Theory: Realizability. [REVIEW]Toshiyasu Arai - 2000 - Bulletin of Symbolic Logic 6 (4):470-471.
Review: Samuel R. Buss, Handbook of Proof Theory: Preface. [REVIEW]Toshiyasu Arai - 2000 - Bulletin of Symbolic Logic 6 (4):463-464.
Review: Samuel R. Buss, Handbook of Proof Theory: The Lengths of Proofs. [REVIEW]Toshiyasu Arai - 2000 - Bulletin of Symbolic Logic 6 (4):473-475.
Review: Samuel R. Buss, Handbook of Proof Theory: Gödel's Functional ("Dialectica") Interpretation. [REVIEW]Toshiyasu Arai - 2000 - Bulletin of Symbolic Logic 6 (4):469-470.
Review: Samuel R. Buss, Handbook of Proof Theory: Subsystems of Set Theory and Second-Order Number Theory. [REVIEW]Toshiyasu Arai - 2000 - Bulletin of Symbolic Logic 6 (4):467-469.
Review: Samuel R. Buss, Handbook of Proof Theory: The Logic of Provability. [REVIEW]Toshiyasu Arai - 2000 - Bulletin of Symbolic Logic 6 (4):74-75.
Review: Samuel R. Buss, Handbook of Proof Theory: Types in Logic, Mathematics and Programming. [REVIEW]Toshiyasu Arai - 2000 - Bulletin of Symbolic Logic 6 (4):476-477.
Variations on a theme by Weiermann.Toshiyasu Arai - 1998 - Journal of Symbolic Logic 63 (3):897-925.
Accessible recursive functions.Stanley S. Wainer - 1999 - Bulletin of Symbolic Logic 5 (3):367-388.
Ramsey's Theorem for Pairs and Provably Recursive Functions.Alexander Kreuzer & Ulrich Kohlenbach - 2009 - Notre Dame Journal of Formal Logic 50 (4):427-444.
Handbook of proof theory.Samuel R. Buss (ed.) - 1998 - New York: Elsevier.
Minimal realizability of intuitionistic arithmetic and elementary analysis.Zlatan Damnjanovic - 1995 - Journal of Symbolic Logic 60 (4):1208-1241.

Analytics

Added to PP
2013-11-21

Downloads
9 (#1,228,347)

6 months
2 (#1,240,909)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references