Reviews
Gaisi Takeuti and Akiko Kino. On predicates with constructive infinitely long expressions. Journal of the Mathematical Society of Japan, vol. 15 (1963), pp. 176–190.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 97-98
-
- Article
- Export citation
Leon Henkin. An extension of the Craig-Lyndon interpolation theorem. The journal of symbolic logic, vol. 28 no. 3 (for 1963, pub. 1964), pp. 201–216.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 98-99
-
- Article
- Export citation
A. I. Mal'cév. O svobodnyh razréšimyh gruppah. Doklady Akadémii Nauk SSSR, vol. 130 (1960), pp. 495–498. - A. I. Mal'cev. On free soluble groups. English translation of the preceding by K. A. Hirsch. Soviet mathematics, vol. 1 no. 1 (1960), pp. 65–68.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 99
-
- Article
- Export citation
G. Kreisel and H. Wang. Applications of formalized consistency proofs II. Fundamenta mathematicae, vol. 45 no. 3 (1958), pp. 334–335.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 99
-
- Article
- Export citation
Hao Wang. Certain predicates defined by induction schemata. The journal of symbolic logic, vol. 18 (1953), pp. 49–59. Reprinted in A survey of mathematical logic, by Hao Wang, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 535–545.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 99-100
-
- Article
- Export citation
Hao Wang. Undecidable sentences generated by semantic paradoxes. The journal of symbolic logic, vol. 20 (1955), pp. 31–34. Reprinted Hao Wang. as Undecidable sentences suggested by semantic paradoxes, pp. 546–558.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 100
-
- Article
- Export citation
Hao Wang. Truth definitions and consistency proofs. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 443–477.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 100
-
- Article
- Export citation
Hao Wang. Between number theory and set theory. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 478–506.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 100
-
- Article
- Export citation
Hao Wang. Some partial systems. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 507–534.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 100-101
-
- Article
- Export citation
Hao Wang. The formalization of mathematics. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 559–584.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 101
-
- Article
- Export citation
R. Shaw. The paradox of the unexpected examination. Mind, n.s. vol. 67 (1958), pp. 382–384. - Ardon Lyon. The prediction paradox. Mind, n.s. vol. 68 (1959), pp. 510–517. - G. C. Nerlich. Unexpected examinations and unprovable statements. Mind, n.s. vol. 70 (1961), pp. 503–513. - Brian Medlin. The unexpected examination. American philosophical quarterly (Pittsburgh), vol. 1 no. 1 (1964), pp. 66–72. See Corrigenda, Brian Medlin. The unexpected examination. American philosophical quarterly (Pittsburgh), vol. 1 no. 1 (1964), p. 333.) - Frederic B. Fitch. A Goedelized formulation of the prediction paradox. American philosophical quarterly (Pittsburgh), vol. 1 no. 1 (1964), pp. 161–164.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 101-102
-
- Article
- Export citation
David Kaplan and Richard Montague. A paradox regained. Notre Dame journal of formal logic, vol. 1 (1960), pp. 79–90. - Martin Gardner. A new prediction paradox. The British journal for the philosophy of science, vol. 13 (1962), p. 51. - K. R. Popper. A comment on the new prediction paradox. The British journal for the philosophy of science, vol. 13 (1962), p. 51.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 102-103
-
- Article
- Export citation
Karel Lambert. Existential import revisited. Notre Dame journal of formal logic, vol. 4 no. 4 (for 1963, pub. 1964), pp. 288–292.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 103-104
-
- Article
- Export citation
Paul Lorenzen. Die Allgemeingültigkeit der logischen Regeln. Studium generale, vol. 6 (1953), pp. 605–609.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 104
-
- Article
- Export citation
Aleksandr Sergeyevich Yesenin-Volpin. Svobodny filosofskij traktat (A free philosophical treatise). Russian with English translation in parallel. Vésénnij list (A leaf of spring), Frederick A. Praeger, New York1961, pp. 109–173.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 104-105
-
- Article
- Export citation
Robert Blanché. Axiomatics. English translation of XXIII 438, by G. B. Keene. Monographs in modern logic. The Free Press of Glencoe, New York1962, v + 65 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 105
-
- Article
- Export citation
Layman E. Allen. Wff 'n proof. The game of modern logic. Wff 'n proof, New Haven, Conn., 1962, viii + 224 pp. - Layman E. Allen. Wff. The beginner's game of modern logic. Wff 'n proof, New Haven, Conn., 1963, 78 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 105
-
- Article
- Export citation
Robert E. Clay. A simple proof of functional completeness in many-valued logics based on Łukasiewicz's C and N. Notre Dame journal of formal logic, vol. 3 (1962), pp. 114–117. - Robert E. Clay. Note on Stupecki T-functions. The journal of symbolic logic, vol. 27 no. 1 (for 1962, pub. 1963), pp. 53–54.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 105
-
- Article
- Export citation
Robert E. Clay. A standard form for Łukasiewicz many-valued logics. Notre Dame journal of formal logic, vol. 4 (1963), pp. 59–66.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 105-106
-
- Article
- Export citation
Arto Salomaa. Some completeness criteria for sets of functions over a finite domain. II. Annales Universitatis Turkuensis, Series AI, no. 63. Turun Yliopisto, Turku1963, 19 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 106
-
- Article
- Export citation