Book review: A. S. Troelstra and D. van Dalen. Constructivism in mathematics, vols. 1 and 2 [Book Review]

Notre Dame Journal of Formal Logic 32 (2):320-322 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093635756

Links

PhilArchive



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

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 of A. S. Troelstra and D. van Dalen, Constructivism in Mathematics: An Introduction. [REVIEW]Fred Richman - 1994 - Philosophia Mathematica 2 (1):86-89.
Troelstra, A.S. en van Dalen, D., Constructivism in Mathematics. An Introduction. [REVIEW]C. Struyker Boudier - 1991 - Tijdschrift Voor Filosofie 53 (3):569.
Book Review: Michael Resnik. Mathematics as a Science of Patterns. [REVIEW]Janet Folina - 1999 - Notre Dame Journal of Formal Logic 40 (3):455-472.
Book Review: "Wittgenstein and the Turning Point in the Philosophy of Mathematics", by S. G. Shanker. [REVIEW]Shelley Stillwell - 1989 - Notre Dame Journal of Formal Logic 30:629-645.
Book Review: J. P. Mayberry. Foundations of Mathematics in the Theory of Sets. [REVIEW]O. Bradley Bassler - 2005 - Notre Dame Journal of Formal Logic 46 (1):107-125.
Book Review: Charles S. Chihara. A Structural Account of Mathematics. [REVIEW]Alan Baker - 2006 - Notre Dame Journal of Formal Logic 47 (3):435-442.
Book Review: Penelope Maddy. Naturalism in Mathematics. [REVIEW]Stephen Pollard - 1999 - Notre Dame Journal of Formal Logic 40 (2):293-306.
Review: Michael J. Beeson, Foundations of Constructive Mathematics. Metamathematical Studies. [REVIEW]William A. Howard - 1987 - Journal of Symbolic Logic 52 (1):278-279.
Book Review: Geoffrey Hellman. Mathematics Without Numbers. [REVIEW]Timothy G. McCarthy - 1997 - Notre Dame Journal of Formal Logic 38 (1):136-161.
Handbook of mathematical logic, edited by Barwise Jon with the cooperation of Keisler H. J., Kunen K., Moschovakis Y. N., and Troelstra A. S., Studies in logic and the foundations of mathematics, vol. 90, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978 , xi + 1165 pp.Smoryński C.. D.1. The incompleteness theorems. Pp. 821–865.Schwichtenberg Helmut. D.2. Proof theory: some applications of cut-elimination. Pp. 867–895.Statman Richard. D.3. Herbrand's theorem and Gentzen's notion of a direct proof. Pp. 897–912.Feferman Solomon. D.4. Theories of finite type related to mathematical practice. Pp. 913–971.Troelstra A. S.. D.5. Aspects of constructive mathematics. Pp. 973–1052.Fourman Michael P.. D.6. The logic of topoi. Pp. 1053–1090.Barendregt Henk P.. D.1. The type free lambda calculus. Pp. 1091–1132.Paris Jeff and Harrington Leo. D.8. A mathematical incompleteness in Peano arithmetic. Pp. 1133–1142. [REVIEW]W. A. Howard - 1984 - Journal of Symbolic Logic 49 (3):980-988.

Analytics

Added to PP
2010-08-24

Downloads
35 (#471,200)

6 months
9 (#355,272)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references