Walter P. Van stigt: Brouwer’s intuitionism. (= Studies in the history and philosophy of mathematics, vol. II.) amsterdam/new york/oxford/tokyo: North Holland 1990, XXVI + 530pp [Book Review]

Grazer Philosophische Studien 41 (1):249-250 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

ISBN(s)

01659227

DOI

10.1163/18756735-04101014

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,247

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

Walter P. van Stigt. Brouwer's intuitionism. Studies in the history and philosophy of mathematics, vol. 2. North-Holland, Amsterdam etc. 1990, xxvi + 530 pp. [REVIEW]Peter Eggenberger - 1991 - Journal of Symbolic Logic 56 (4):1499.
Walter van Stigt. Brouwer's Intuitionism. Amsterdam: North-Holland Publishing Co., 1990. pp. xxvi + 530. ISBN 0-444-88384-3 (Cloth). [REVIEW]M. Detlefsen - 1998 - Philosophia Mathematica 6 (2):235-241.
Review of Walter P. van Stigt: Brouwer's intuitionism. [REVIEW]Yaroslav Shramko - 1996 - Journal of Applied Non-Classical Logics 6 (3):292-295.
Herman Rubin and Jean E. Rubin. Equivalents of the axiom of choice, II. Studies in logic and the foundations of mathematics, vol. 116. North-Holland, Amsterdam, New York, and Oxford, 1985, xxviii + 322 pp. [REVIEW]David Pincus - 1987 - Journal of Symbolic Logic 52 (3):867-869.
Barendregt H. P.. The lambda calculus. Its syntax and semantics. Studies in logic and foundations of mathematics, vol. 103. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1981, xiv + 615 pp. [REVIEW]E. Engeler - 1984 - Journal of Symbolic Logic 49 (1):301-303.
Leon Henkin, J. Donald Monk, and Alfred Tarski. Cylindric algebras. Part II. Studies in logic and the foundations of mathematics, vol. 115. North-Holland, Amsterdam, New York, and Oxford, 1985, ix + 302 pp. [REVIEW]Roger D. Maddux - 1988 - Journal of Symbolic Logic 53 (2):651-653.
J. C. Shepherdson. Algorithmic procedures, generalized Turing algorithms, and elementary recursion theory. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 285–308. - J. C. Shepherdson. Computational complexity of real functions. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 309–315. - A. J. Kfoury. The pebble game and logics of programs. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, an. [REVIEW]J. V. Tucker - 1990 - Journal of Symbolic Logic 55 (2):876-878.
C. C. Chang and H. J. Keisler. Model theory. Third edition of XLI 697. Studies in logic and the foundations of mathematics, vol. 73. North-Holland, Amsterdam, New York, etc., 1990, xvi + 650 pp. [REVIEW]Michael Makkai - 1991 - Journal of Symbolic Logic 56 (3):1096-1097.
van Benthem Johan. Language in action. Categories, lambdas and dynamic logic. Studies in logic and the foundations of mathematics, vol. 130. North-Holland, Amsterdam, New York, etc., 1991, x + 349 pp. [REVIEW]Richard T. Oehrle - 1993 - Journal of Symbolic Logic 58 (4):1472-1475.
Szabo M. E.. Algebra of proofs. Studies in logic and the foundations of mathematics, vol. 88. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978, xii + 297 pp. [REVIEW]G. E. Minc - 1982 - Journal of Symbolic Logic 47 (4):904-907.

Analytics

Added to PP
2013-04-04

Downloads
62 (#343,060)

6 months
18 (#162,420)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jan Hertrich-Woleński
Jagiellonian University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references