Proof Theory and Logical Complexity [Book Review]

Annals of Pure and Applied Logic 53 (4):197 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



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

External links

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

Through your library

Analytics

Added to PP
2014-03-31

Downloads
45 (#355,034)

6 months
6 (#529,161)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Paradoxes and Failures of Cut.David Ripley - 2013 - Australasian Journal of Philosophy 91 (1):139 - 164.
Cut Elimination in the Presence of Axioms.Sara Negri & Jan Von Plato - 1998 - Bulletin of Symbolic Logic 4 (4):418-435.

View all 37 citations / Add more citations

References found in this work

No references found.

Add more references