Proof theory

New York: Springer Verlag (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Call number

QA9.54.S3813

ISBN(s)

0387079114   364266475X
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,931

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

Handbook of proof theory.Samuel R. Buss (ed.) - 1998 - New York: Elsevier.
Technical report tr-Arp-11-94.Greg Restall - unknown
ISILC Proof Theory Symposion: dedicated to Kurt Schütte on the occasion of his 65th birthday: proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974.K. Schütte, Justus Diller & G. H. Müller (eds.) - 1975 - New York: Springer Verlag.
Proof theory of modal logic.Heinrich Wansing (ed.) - 1996 - Boston: Kluwer Academic Publishers.
.[author unknown] - unknown
Displaying and deciding substructural logics 1: Logics with contraposition.Greg Restall - 1998 - Journal of Philosophical Logic 27 (2):179-216.
Russell's completeness proof.Peter Milne - 2008 - History and Philosophy of Logic 29 (1):31-62.
Proof theory: a selection of papers from the Leeds Proof Theory Programme, 1990.Peter Aczel, Harold Simmons & Stanley S. Wainer (eds.) - 1992 - New York: Cambridge University Press.

Analytics

Added to PP
2009-01-28

Downloads
6 (#1,481,650)

6 months
3 (#1,042,169)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Notes on Formal Theories of Truth.Andrea Cantini - 1989 - Mathematical Logic Quarterly 35 (2):97-130.
Notes on Formal Theories of Truth.Andrea Cantini - 1989 - Zeitshrift für Mathematische Logik Und Grundlagen der Mathematik 35 (1):97--130.
Proof-theoretic analysis of KPM.Michael Rathjen - 1991 - Archive for Mathematical Logic 30 (5-6):377-403.
The proper treatment of variables in predicate logic.Kai F. Wehmeier - 2018 - Linguistics and Philosophy 41 (2):209-249.
Notation systems for infinitary derivations.Wilfried Buchholz - 1991 - Archive for Mathematical Logic 30 (5-6):277-296.

View all 60 citations / Add more citations

References found in this work

No references found.

Add more references