[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

Links

PhilArchive



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

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].Howard S. Becker - 2002 - Bulletin of Symbolic Logic 8 (1):94-95.
[Omnibus Review].Pierre Matet - 2002 - Bulletin of Symbolic Logic 8 (2):309-311.
[Omnibus Review].Gary Gruenhage - 2002 - Bulletin of Symbolic Logic 8 (3):443-445.
Review of J. Cummings, A Model in Which GCH Holds at Successors but Fails at Limits; Strong Ultrapowers and Long Core Models; Coherent Sequences Versus Radin Sequences; and J. Cummings, M. Foreman, and M. Magidor, Squares, Scales and Stationary Reflection. [REVIEW]Arthur W. Apter - 2002 - Bulletin of Symbolic Logic 8 (4):550-552.
[Omnibus Review].John N. Crossley - 1991 - Journal of Symbolic Logic 56 (3):1089-1090.
[Omnibus Review].Julius B. Barbanel - 1991 - Journal of Symbolic Logic 56 (3):1097-1098.
[Omnibus Review].Birge Huisgen-Zimmermann - 2002 - Bulletin of Symbolic Logic 8 (3):441-443.
[Omnibus Review].Carlos Augusto Priscdio - 1991 - Journal of Symbolic Logic 56 (3):1098-1100.
Gautama Buddha.Iqbal Singh - 2004 - In Matthew Kapstein, S. Radhakrishnan, Iqbal Singh & Arvind Sharma (eds.), The Buddhism omnibus. Oxford University Press.
The Man on the Clapham Omnibus.Tim Madigan - 2001 - Philosophy Now 33:36-37.
Management and Ethics Omnibus: Management by Values, Ethics in Management, Values and Ethics for Organizations.S. K. Chakraborty - 2001 - New York: Oxford University Press India.
'Omnibus Unus'( Aeneid 3. 716).Grant C. Roti - 1983 - Classical Quarterly 33 (01):300-.

Analytics

Added to PP
2010-09-12

Downloads
27 (#590,119)

6 months
4 (#792,011)

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 88 citations / Add more citations

References found in this work

No references found.

Add more references