Bourbaki Nicolas . Theory of sets. Elements of mathematics. English translation of XXXVII 636, XL 289. Hermann, Publishers in Arts and Science, Paris, and Addison-Wesley Publishing Company, Reading, Mass., Menlo Park, Calif., London, Don Mills, Ontario, 1968, VIII + 414 pp [Book Review]

Journal of Symbolic Logic 40 (4):630-631 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271849

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,150

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

Torng H. C.. Introduction to the logical design of switching systems. Addison-Wesley series in electrical engineering. Addison-Wesley Publishing Company, Inc., Reading, Mass., Palo Alto, London, 1964, xii + 286 pp.Zacharov Basil. Digital systems logic and circuits. American Elsevier Publishing Company, Inc., New York 1968, xv + 160 pp.Ryan Ray. Basic digital electronics—Understanding number systems, Boolean algebra, & logic circuits. Tab Books, Blue Ridge Summit, Pa., 1975, 210 pp. [REVIEW]H. B. Enderton - 1976 - Journal of Symbolic Logic 41 (2):549-550.
Whitesitt J. Eldon. Boolean algebra and its applications. Addison-Wesley Publishing Company, Reading, Mass., and London, 1961, x + 182 pp. [REVIEW]Thomas H. Mott - 1962 - Journal of Symbolic Logic 27 (1):103-104.
Kuratowski K. and Mostowski A.. Set theory. English translation of XL 649 by Maczynski M.. PWN—Polish Scientific Publishers, Warsaw, and North-Holland Publishing Company, Amsterdam, 1968, xi + 417 pp. [REVIEW]H. B. Enderton - 1975 - Journal of Symbolic Logic 40 (4):629-630.
Logical foundations of functional programming, edited by Huet Gérard, The UT year of programming series, Addison-Wesley Publishing Company, Reading, Mass., etc., 1990, xvi + 491 pp. [REVIEW]Karl Meinke - 1994 - Journal of Symbolic Logic 59 (4):1439-1441.
E. R. Stabler. An introduction to mathematical thought. Addison-Wesley Publishing Company, Inc., Cambridge, Mass., 1953, xviii + 268 pp. [REVIEW]A. R. Turquette - 1955 - Journal of Symbolic Logic 20 (3):288-289.
Mathematics Eléments d'Histoire des Mathematiques. By N. Bourbaki. Deuxième édition revue, corrigée, augmentée. Paris: Hermann. 1969. Pp. 323. 36 francs. [REVIEW]Ivor Grattan-Guinness - 1970 - British Journal for the History of Science 5 (2):190-191.
Jankov V. A.. Constructing a sequence of strongly independent superintuitionistic propositional calculi. English translation of XXXVII 206 by Yablonsky A.. Soviet mathematics, vol. 9 no. 4 , pp. 806–807.Jankov V. A.. The calculus of the weak “law of excluded middle.” English translation of XXXVII 206. Mathematics of the USSR—Izvestija , vol. 2 no. 5 , pp. 997–1004. [REVIEW]Alfred Horn - 1972 - Journal of Symbolic Logic 37 (1):186-186.
Mostowski A.. Constructible sets with applications. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam, and PWN, Polish Scientific Publishers, Warsaw, 1969, vi + 269 pp. [REVIEW]Perry Smith - 1975 - Journal of Symbolic Logic 40 (4):631-632.
The Business of Reason. Edited by J. J. MacIntosh and S. C. Coval. London: Routledge and Kegan Paul; Don Mills: General Publishing Co. Limited. 1968. Pp. viii, 267. $7.55. [REVIEW]A. W. Cragg - 1970 - Dialogue 9 (1):124-126.
Review: Nicolas Bourbaki, Theory of Sets. [REVIEW]Perry Smith - 1975 - Journal of Symbolic Logic 40 (4):630-631.
Chang C. C. and Keisler H. J.. Model theory. Studies in logic and the foundations of mathematics, vol. 73, North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1973, xii + 550 pp. [REVIEW]Gebhard Fuhrken - 1976 - Journal of Symbolic Logic 41 (3):697-699.
Shih-Hua Hu. Recursive algorithms. Theory of recursive algorithms I. English translation of XXXVII 640. Scientia Sinica, vol. 9 , pp. 843–875. Reprinted in Chinese mathematics, vol. 1 , pp. 64–96.Shih-Hua Hu and Chung-Wan Loh. Kernel functions. Theory of recursive algorithms II. English translation of XXXVII 640. Scientia Sinica, vol. 9 , pp. 876–888. Reprinted ibid., pp. 97–109.Shih-Hua Hu. Normal forms of recursive functions. Theory of recursive algorithms III. English translation of XXXVII 640. Scientia Sinica, vol. 9 , pp. 889–896. Reprinted ibid., pp. 110–117. [REVIEW]V. Vuckovic - 1972 - Journal of Symbolic Logic 37 (3):612-612.
Drake Frank R.. Set theory. An introduction to large cardinals. Studies in logic and the foundations of mathematics, vol. 76. North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1974, xii + 351 pp. [REVIEW]Azriel Levy - 1978 - Journal of Symbolic Logic 43 (2):384-384.
Bourbaki: Towards a Philosophy of Modern Mathematics.Joong Fang - 1970 - Paideia.
A. S. Yessenin-Volpin. The ultra-intuitionistic criticism and the antitraditional program for foundations of mathematics. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 3–45. [REVIEW]James R. Geiser - 1975 - Journal of Symbolic Logic 40 (1):95-97.

Analytics

Added to PP
2016-06-30

Downloads
18 (#835,422)

6 months
7 (#436,298)

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