A survey of proof theory

Journal of Symbolic Logic 33 (3):321-388 (1968)
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2270324
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 33,741
Through your library

References found in this work BETA

Reflection Principles and Their Use for Establishing the Complexity of Axiomatic Systems.Georg Kreisel & Azriel Lévy - 1968 - Zeitschrift für Mathematische Logic Und Grundlagen der Mathematik 14 (1):97--142.
Reflection Principles and Their Use for Establishing the Complexity of Axiomatic Systems.G. Kreisel & A. Lévy - 1968 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 14 (7-12):97-142.
Some Generalisations of the Notion of Well Ordering.R. J. Parikh - 1966 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 12 (1):333-340.

Add more references

Citations of this work BETA

Fragments of Arithmetic.Wilfried Sieg - 1983 - Annals of Pure and Applied Logic 28 (1):33-71.
Inferentializing Semantics.Jaroslav Peregrin - 2010 - Journal of Philosophical Logic 39 (3):255 - 274.

View all 23 citations / Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total downloads
66 ( #93,199 of 2,263,106 )

Recent downloads (6 months)
2 ( #212,842 of 2,263,106 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature