Proof theory, History and philosophical significance, edited by Vincent F. Hendricks, Stig Andur Pedersen, and Klaus Frovin Jørgensen, Synthese library, vol. 292, Kluwer Academic Publishers, Dordrecht, Boston, and London, 2000, xii + 244 pp.— [Book Review]

Bulletin of Symbolic Logic 8 (3):431-432 (2002)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2178/bsl/1182353900

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,932

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

Review: Vincent F. Hendricks, Stig Andur Pedersen, Klaus Frovin Jørgensen, Proof Theory, History and Philosophical Significance. [REVIEW]Jan von Plato - 2002 - Bulletin of Symbolic Logic 8 (3):431-432.
Vincent Hendricks, Stig A. Pedersen, Klaus F. Jørgensen (Eds.): Proof Theory – History and Philosophical Significance.Reinhard Kahle - 2003 - History of Philosophy & Logical Analysis 6 (1):245-254.
Paolo Mancosu, Klaus Frovin JØrgensen, and Stig Andur Pedersen, eds. Visualization, Explanation and Reasoning Stryles in Mathematics. Synthese Library, Vol. 327. Dordrecht: Springer, 2005. ISBN 1-4020-3334-6 ; 1-4020-3335-4 . Pp. x + 300. [REVIEW]Paolo Mancosu & Klaus JØrgensen - 2006 - Philosophia Mathematica 14 (2):265.
Defeasible deontic logic, edited by Nute Donald, Synthese library, vol. 263, Kluwer Academic Publishers, Dordrecht, Boston, and London, 1997, x + 354 pp. [REVIEW]Wiebe Van Der Hoek - 2000 - Bulletin of Symbolic Logic 6 (1):89-94.
Melvin Fitting and Richard L. Mendelsohn. First-order modal logic. Synthese library, vol. 277. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1998, xii + 287 pp. [REVIEW]Roderic A. Girle - 2002 - Bulletin of Symbolic Logic 8 (3):429-431.
Tomasz Placek. Mathematical intuitionism and intersubjectivity. A critical exposition of arguments for intuitionism. Synthese library, vol. 279. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1999, xii + 218 pp. [REVIEW]Leon Horsten - 2002 - Bulletin of Symbolic Logic 8 (4):518-520.
Proof theory of modal logic, edited by Heinrich Wansing, Applied logic series, vol. 2, Kluwer Academic Publishers, Dordrecht, Boston, and London, 1996, x + 317 pp. [REVIEW]Melvin Fitting - 1999 - Journal of Symbolic Logic 64 (4):1825-1828.
Ryszard Wójcicki. Theory of logical calculi. Basis theory of consequence operations. Synthese library, vol. 199. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1988, xviii + 473 pp. [REVIEW]Stephen L. Bloom - 1990 - Journal of Symbolic Logic 55 (3):1324-1326.
Jean Goubault-Larrecq and Ian Mackie. Proof theory and automated deduction. Applied logic series, vol. 6. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1997, xv + 424 pp. [REVIEW]Jörg Hudelmaier - 2000 - Bulletin of Symbolic Logic 6 (1):94-95.
Frank O. Wagner. Simple theories. Mathematics and its applications, vol. 503. Kluwer Academic Publishers, Dordrecht, Boston, and London, 2000, xi + 260 pp. [REVIEW]Bradd Hart - 2002 - Bulletin of Symbolic Logic 8 (4):522-524.

Analytics

Added to PP
2014-03-24

Downloads
24 (#645,728)

6 months
10 (#382,620)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jan Von Plato
University of Helsinki

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references