Contents
Reviews
H. W. Lenstra. A definition of the system of natural numbers, equivalent to that of Peano. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 71 (1968), pp. 390–392; also lndagationes mathematicae, vol. 30 (1968), pp. 390–392.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 474-475
-
- Article
- Export citation
Edward J. Cogan. A formalization of the theory of sets from the point of view of combinatory logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 1 (1955), pp. 198–240. - Rainer Titgemeyer. Über einen Widerspruch in Cogans Darstellung der Mengenlehre. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 161–163.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 147
-
- Article
- Export citation
M. D. Gladstone. A reduction of the recursion scheme. The journal of symbolic logic, Bd. 32 (für 1967, veröff. 1968), S. 505–508.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 591
-
- Article
- Export citation
R. W. Ashby. Basic statements. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 8, pp. 251–254.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 302
-
- Article
- Export citation
Maarten Wicher Visser Bunder. Set theory based on combinatory logic. Dissertation Amsterdam 1969, 80 pp. + 3 pp. of corrections.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 147-148
-
- Article
- Export citation
Paul J. Cohen. Set theory and the continuum hypothesis. W. A. Benjamin, Inc., New York and Amsterdam1966, vi + 154 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 591-592
-
- Article
- Export citation
R. W. Ritchie. A rudimentary definition of addition. The journal of symbolic logic, vol. 30 (1965), pp. 350–354.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 475
-
- Article
- Export citation
Yehoshua Bar-Hillel. Bolzano, Bernard. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 8, pp. 337–338.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 302
-
- Article
- Export citation
Rolf Schock. A simple version of the generalized continuum hypothesis. Notre Dame journal of formal logic, vol. 7 no. 3 (1966), pp. 287–288.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 592
-
- Article
- Export citation
Roderick M. Chisholm. Brentano, Franz. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 8, pp. 365–368.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 302-303
-
- Article
- Export citation
Robert R. Tompkins. On Kleene's recursive realizability as an interpretation for intuitionistic elementary number theory. Notre Dame journal of formal logic, vol. 9 no. 4 (for 1968, pub. 1969), pp. 289–293.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 475
-
- Article
- Export citation
Wacław Sierpiński. L'axiome du choix. Notre Dame journal of formal logic, vol. 8 no. 4 (for 1967, pub. 1968), pp. 257–266.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 148
-
- Article
- Export citation
George F. Simmons. Introduction to topology and modern analysis. McGraw-Hill Book Company, Inc., New York, San Francisco, Toronto, and London, 1963, xv + 372 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 592
-
- Article
- Export citation
Raphael M. Robinson. Binary relations as primitive notions in elementary geometry. The axiomatic method with special reference to geometry and physics, Proceedings of an International Symposium held at the University of California, Berkeley, December 26,1957-January 4, 1958, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 68–85.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 148
-
- Article
- Export citation
Julia Robinson. On the decision problem for algebraic rings. Studies in mathematical analysis and related topics, Essays in honor of George Pólya, edited by Gabor Szegö, Charles Loewner, Stefan Bergman, Menahem Max Schiffer, Jerzy Neyman, David Gilbarg, and Herbert Solomon, Stanford University Press, Stanford, California, 1962, pp. 297–304.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 475-476
-
- Article
- Export citation
Anthony Quinton. British philosophy. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 8, pp. 369–396.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 303
-
- Article
- Export citation
Giulio Andreoli. Funzioni simmetriche, involuzioni ed n-adi in un'algebra di Boole. Giornale di matematiche di Battaglini (Naples), vol. 81 no. 2 (1953), pp. 181–198.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 592
-
- Article
- Export citation
Julia Robinson. Recursive functions of one variable. Proceedings of the American Mathematical Society, vol. 19 (1968), pp. 815–820.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 476
-
- Article
- Export citation
A. H. Lightstone and A. Robinson. On the representation of Herbrand functions in algebraically closed fields. The journal of symbolic logic, vol. 22 (1957), pp. 187–204.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 148-149
-
- Article
- Export citation
P. L. Heath. Carroll, Lewis. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 2, pp. 36–37. - P. L. Heath. Nothing. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 5, pp. 524–525.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 303
-
- Article
- Export citation