[Omnibus Review]

Journal of Symbolic Logic 56 (3):1094-1096 (1991)
  Copy   BIBTEX

Abstract

Reviewed Works:Gaisi Takeuti, Proof Theory.Georg Kreisel, Proof Theory: Some Personal Recollections.Wolfram Pohlers, Contributions of the Schutte School in Munich to Proof Theory.Stephen G. Simpson, Subsystems of $\mathbf{Z}_2$ and Reverse Mathematics.Solomon Feferman, Proof Theory: A Personal Report

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1183743760

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 99,245

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

[Omnibus Review]. [REVIEW]Don Fallis - 1998 - Journal of Symbolic Logic 63 (3):1196-1200.
[Omnibus Review].James E. Baumgartner - 1985 - Journal of Symbolic Logic 50 (1):239-240.
[Omnibus Review].Helmut Pfeiffer - 1983 - Journal of Symbolic Logic 48 (3):876-877.
[Omnibus Review].D. Holdcroft - 1960 - Journal of Symbolic Logic 25 (4):334-336.
[Omnibus Review].M. A. Harrison - 1971 - Journal of Symbolic Logic 36 (4):694-695.
[Omnibus Review].Romane Clark - 1959 - Journal of Symbolic Logic 24 (1):89-91.
[Omnibus Review].Calvin C. Elgot - 1960 - Journal of Symbolic Logic 25 (2):163-164.
[Omnibus Review].Bruce Lercher - 1966 - Journal of Symbolic Logic 31 (2):272-272.

Analytics

Added to PP
2010-09-12

Downloads
33 (#562,341)

6 months
5 (#937,612)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Dag Prawitz
Stockholm University

Citations of this work

Weak Assertion.Luca Incurvati & Julian J. Schlöder - 2019 - Philosophical Quarterly 69 (277):741-770.
What is wrong with classical negation?Nils Kürbis - 2015 - Grazer Philosophische Studien 92 (1):51-86.
On the idea of a general proof theory.Dag Prawitz - 1974 - Synthese 27 (1-2):63 - 77.
Speaking with Shadows: A Study of Neo‐Logicism.Fraser MacBride - 2003 - British Journal for the Philosophy of Science 54 (1):103-163.

View all 87 citations / Add more citations

References found in this work

No references found.

Add more references