Contents
Reviews
R. B. Jensen. Concrete models of set theory. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by John N. Crossley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 44–74.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 472-473
-
- Article
- Export citation
Paul Kurtz. American 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. 83–93.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 302
-
- Article
- Export citation
Satoko Titani. An algebraic formulation of cut-elimination theorem. Journal of the Mathematical Society of Japan, vol. 17 (1965), pp. 72–83.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 145-146
-
- Article
- Export citation
C. E. M. Yates. Recursively enumerable degrees and the degrees less than 0(1). Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by John N. Crossley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 264–271.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 589
-
- Article
- Export citation
Azriel Lévy. On a spectrum of set theories. Illinois journal of mathematics, vol. 4 (1960), pp. 413–424. - A. Lévy and R. Vaught. Principles of partial reflection in the set theories of Zermelo and Ackermann. Pacific journal of mathematics, vol. 11 (1961), pp. 1045–1062. - Azriel Lévy. On the principles of reflection in axiomatic set theory. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 87–93.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 473
-
- Article
- Export citation
Yoemon Sampei. On set theoretical operations. Commentarii mathematici Universitatis Sancti Pauli, vol. 7 (1959), pp. 117–132, and vol. 9 (for 1960, pub. 1961), pp. 39–51. Corrections. Ibid., p. 52.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 146
-
- Article
- Export citation
Morris Weitz. Analysis, philosophical. 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. 97–105.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 302
-
- Article
- Export citation
A. Nerode. Additive relations among recursive equivalence types. Mathematische Annalen, vol. 159 (1965), pp. 329–343.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 589-590
-
- Article
- Export citation
Don C. Ferguson. Infinite products of recursive equivalence types. The Journal of symbolic logic, vol. 33 (1968), pp. 221–230.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 590
-
- Article
- Export citation
Zeno Vendler. Any and all. 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. 131–133.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 302
-
- Article
- Export citation
Yoemon Sampei. Note on the effective choice of a point in the complement of an analytic set. Commentarii mathematici Universitatis Sancti Pauli, vol. 7 (1959), pp. 91–95.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 146
-
- Article
- Export citation
C. C. Chang. Maximal n-disjointed sets and the axiom of choice. Fundamenta mathematicae, vol. 49 (1960), pp. 11–14.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 473
-
- Article
- Export citation
H. L. Royden. Remarks on primitive notions for elementary Euclidean and non-Euclidean plane 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, Amsterdam1959, pp. 86–96.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 473-474
-
- Article
- Export citation
M. Adrian Carpentier. Creative sequences and double sequences. Notre Dame journal of formal logic, vol. 9 no. 1 (1968), pp. 35–61.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 590
-
- Article
- Export citation
Charles E. Caton. Artificial and natural languages. 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. 168–171.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 302
-
- Article
- Export citation
Yoemon Sampei. On the uniformization of the complement of an analytic set. Commentarii mathematici Universitatis Sancti Pauli, vol. 10 (1962), pp. 57–62.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 146
-
- Article
- Export citation
Yoemon Sampei. On the uniformization of a set of class Αρσ. Commentarii mathematici Universitatis Sancti Pauli, vol. 7 (1959), pp. 67–73.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 146-147
-
- Article
- Export citation
M. D. Davis. A note on universal Turing machines. Automata studies, edited by C. E. Shannon and J. McCarthy, Annals of Mathematics studies no. 34, lithoprinted, Princeton University Press, Princeton1956, pp. 167–175. - Martin Davis. The definition of universal Turing machine. Proceedings of the American Mathematical Society, vol. 8 (1957), pp. 1125–1126.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 590
-
- Article
- Export citation
D. J. O'Connor. Ayer, Alfred Jules. 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. 229–231.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 302
-
- Article
- Export citation
Wolfram Schwabhäuser. Metamathematical methods in foundations of geometry. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 152–165.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 474
-
- Article
- Export citation