Errett Bishop and Douglas Bridges. Constructive analysis. Grundlehren der mathematischen Wissenschaften, no. 279. Springer-Verlag, Berlin, Heidelberg, New York, and Tokyo, 1985, xii + 477 pp [Book Review]

Journal of Symbolic Logic 52 (4):1047-1048 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273838

Links

PhilArchive



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

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

Lorenzen Paul. Einführung in die operative Logik und Mathematik. Second edition of XXII 289, with minor revisions. Die Grundlehren der mathematischen Wissenschaften, vol. 78. Springer-Verlag, Berlin-Heidelberg-New York 1969, VIII + 298 pp. [REVIEW]Perry Smith - 1970 - Journal of Symbolic Logic 35 (2):330-330.
Lorenzen Paul. Einführung in die operative Logik und Mathematik. Die Grundlehren der mathematischen Wissenschaften, vol. 78. Springer-Verlag, Berlin-Göttingen-Heidelberg 1955, VII + 298 pp. [REVIEW]Th Skolem - 1957 - Journal of Symbolic Logic 22 (3):289-290.
Hilbert D. and Ackermann W.. Grundzüge der theoretischen Logik. Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen, vol. 27. 3rd edn., Springer-Verlag, Berlin-Göttingen-Heidelberg 1949, VIII + 155 pp. [REVIEW]Alonzo Church - 1950 - Journal of Symbolic Logic 15 (1):59-59.
Michael Barr and Charles Wells. Toposes, triples and theories. Grundlehren der mathematischen Wissenschaften, no. 278. Springer-Verlag, New York etc. 1985, xiii + 345 pp. [REVIEW]Andrew Pitts - 1991 - Journal of Symbolic Logic 56 (1):340-341.
Beeson Michael J.. Foundations of constructive mathematics. Metamathematical studies. Ergebnisse der Mathematik und ihrer Grenzgebiete, ser. 3 vol. 6. Springer-Verlag, Berlin, Heidelberg, New York, and Tokyo, 1985, xxiii + 466 pp. [REVIEW]William A. Howard - 1987 - Journal of Symbolic Logic 52 (1):278-279.
Carl Friedrich Graumann (Hrsg.): Psychologie im Nationalsozialismus. Berlin/Heidelberg/New York/Tokyo: Springer‐Verlag, 1985. 318 Seiten, DM 24,80. [REVIEW]Carsten Klingemann - 1985 - Berichte Zur Wissenschaftsgeschichte 8 (4):218-218.
Review: Errett Bishop, Douglas Bridges, Constructive Analysis. [REVIEW]Nicolas D. Goodman - 1987 - Journal of Symbolic Logic 52 (4):1047-1048.
B. L. van der Waerden: A History of Algebra. From al‐Khwarizmi to Emmy Noether. Berlin/Heidelberg/New York/Tokyo: Springer‐Verlag 1985. xi, 271 Seiten, 28 Figuren. Leinen, DM 98,‐. [REVIEW]Christoph J. Scriba - 1987 - Berichte Zur Wissenschaftsgeschichte 10 (2):125-126.
B. L. van der Waerden. A History of Algebra: From al-Khwarizmi to Emmy Noether. Berlin, Heidelberg, New York, Tokyo: Springer Verlag, 1985. Pp. xi + 271. ISBN 0-387-13610-X DM 98.00 . [REVIEW]J. J. Gray - 1987 - British Journal for the History of Science 20 (1):96-97.
Thomas Cremer: Von der Zellenlehre zur Chromosomentheorie. Naturwissenschaftliche Erkenntnis und Theorienwechsel in der frühen Zell‐ und Vererbungsforschung. Berlin‐Heidelberg‐New York‐Tokyo: Springer‐Verlag 1985. XVI + 384 Seiten, DM 135,‐. [REVIEW]Hans-Jörg Rheinberger - 1987 - Berichte Zur Wissenschaftsgeschichte 10 (2):127-128.
Mathematics Vorlesungen uber Geschichte der antiken mathematischen Wissenschaften. Erster Band, Vorgriechische Mathematik. By O. Neuge-bauer. Berlin, Heidelberg, and New York: Springer Verlag, reprint of 1934 edn. Pp. xii + 212. No price stated. [REVIEW]H. J. M. Bos - 1972 - British Journal for the History of Science 6 (2):206-207.
Constructive Analysis.Errett Bishop & Douglas Bridges - 1987 - Journal of Symbolic Logic 52 (4):1047-1048.
Emil du Bois‐Reymond (1818‐1896) ‐ Anton Dohrn (1840‐1909): Briefwechsel. Hrsg. von Christiane Groeben in Zusammenarbeit mit Klaus Hierholzer. Mit einer historischen Einführung von Ernst Florey. Berlin/Heidelberg/New York/Tokyo: Springer Verlag 1985; XLIV, 322 Seiten, kartoniert DM 48.‐. [REVIEW]Änne Bäumer - 1987 - Berichte Zur Wissenschaftsgeschichte 10 (1):43-43.
Donald A. Martin. The largest countable this, that, and the other. Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81, edited by A. S. Kechris, D. A. Martin, and Y. N. Moschovakis, Lecture notes in mathematics, vol. 1019, Springer-Verlag, Berlin, Heidelberg, New York, and Tokyo, 1983, pp. 97–106. - Alexander S. Kechris, Donald A. Martin, and Robert M. Solovay. Introduction to Q-theory. Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81, edited by A. S. Kechris, D. A. Martin, and Y. N. Moschovakis, Lecture notes in mathematics, vol. 1019, Springer-Verlag, Berlin, Heidelberg, New York, and Tokyo, 1983, pp. 199–282. - Steve Jackson. AD and the projective ordinals. Cabal seminar 81–85, Proceedings, Caltech-UCLA Logic Seminar 1981–85, edited by A. S. Kechris, D. A. Martin, and J. R. Steel, Lecture notes in mathematics, vol. 1333, Springer-Verlag, Berlin, Heidelberg, New York, etc., 1988, pp. 117–220. [REVIEW]Sy D. Friedman - 1992 - Journal of Symbolic Logic 57 (1):262-264.
Hilbert D. and Ackermann W.. Grundzüge der theoretischen Logik. Fourth edition. Die Grundlagen der mathematischen Wissenschaften, vol. 27. Springer-Verlag, Berlin-Göttingen-Heidelberg 1959, VIII + 188 pp. [REVIEW]F. H. Fischer - 1960 - Journal of Symbolic Logic 25 (2):158-158.

Analytics

Added to PP
2016-06-30

Downloads
17 (#852,234)

6 months
1 (#1,506,218)

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