Contents
Reviews
Alan Rose. An extension of a theorem of Margaris. The journal of symbolic logic, vol. 25 no. 3 (for 1960, pub. 1962), pp. 209–211.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 305
-
- Article
- Export citation
Takeo Sugihara. The numbers of modalities in T supplemented by the axiom CL2pL3p. The journal of symbolic logic, vol. 27 no. 4 (for 1962, pub. 1963), pp. 407–408.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 305
-
- Article
- Export citation
Stig Kanger. The Morning Star Paradox. Theoria (Lund), vol. 23 (1957), pp. 1–11. - Stig Kanger. A note on quantification and modalities. Theoria (Lund), vol. 23 (1957), pp. 133–134.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 305-306
-
- Article
- Export citation
E. J. Lemmon. Symposium: Is there only one correct system of modal logic? I.Aristotelian Society supplementary volume XXXIII, London1959, pp. 23–40. - G. P. Henderson. Is there only one correct system of modal logic? II. Aristotelian Society supplementary volume XXXIII, London1959, pp. 41–56.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 306
-
- Article
- Export citation
P. Destouches-Février. Sur l'intuitionnisme et la conception strictement constructive. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 54 (1951), pp. 80–86; also Indagationes mathematicae, vol. 13 (1951), pp. 80-86.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 306-307
-
- Article
- Export citation
J.-L. Destouches. Sur la mécanique classique et l'intuitionnisme. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 54 (1951), pp. 74–79; also ibid., pp. 74-79.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 307
-
- Article
- Export citation
Richard E. Vesley. On strengthening intuitionistic logic. Notre Dame journal of formal logic, vol. 4 (1963), p. 80.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 307
-
- Article
- Export citation
Katuzi Ono. On a practical way of describing formal deductions. Nagoya mathematical journal, vol. 21 (1962), pp. 115–121. - Katuzi Ono. New formulation of the axiom of choice by making use of the comprehension operator. Nagoya mathematical journal, vol. 23 (1963), pp. 53–71.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 307
-
- Article
- Export citation
Richard Montague. Two contributions to the foundations of 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, California, 1962, pp. 94–110.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 308
-
- Article
- Export citation
Paul R. Halmos. Naive set theory. D. Van Nostrand Company, Princeton1960, vii + 104 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 308
-
- Article
- Export citation
Giuseppe Vaccarino. Il calcolo delle proposizioni. Archimede, vol. 1 (1949), pp. 229–233; vol. 2 (1950), pp. 96-98, 201-206.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 308
-
- Article
- Export citation
Dennis Spellman. A generalization of the structure of the sentential calculus. Pi Mu Epsilon journal, vol. 4 (1966), pp. 149–155.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 308-309
-
- Article
- Export citation
Otto Bird. Syllogistic and its extensions. Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1964, xii + 116 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 309
-
- Article
- Export citation
Raymond L. Wilder. Introduction to the foundations of mathematics. Second edition of XIX 225. John Wiley & Sons, Inc., New York, London, and Sydney, 1965, xvi + 327 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 310
-
- Article
- Export citation
Paul Bernays. Die Manningfaltigketi der Direktiven für die Gestaltung geometrischer Axiomensysteme. 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. 1–15.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 310
-
- Article
- Export citation
Brian Ellis. Basic concepts of measurement. Cambridge University Press, Cambridge1966, ix + 220 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 310-311
-
- Article
- Export citation
Desmond Paul Henry. The logic of Saint Anselm. Oxford University Press, London1967, vi + 258 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 312-313
-
- Article
- Export citation
Carlo Cellucci. Avvertenza. La filosofia della matematica, edited by Carlo Cellucci, Editori Laterza, Bari1967, pp. 5–7. - Carlo Cellucci. Introduzione. Avvertenza. La filosofia della matematica, edited by Carlo Cellucci, Editori Laterza, Bari1967, pp. 9–79. - Kurt Gödel. La logica matematiea di Russell. Italian translation of XI 75. Avvertenza. La filosofia della matematica, edited by Carlo Cellucci, Editori Laterza, Bari1967, pp. 81–112. - Kurt Gödel. Che cos'è il problema del continuo di Cantor? Italian translation of XXXIV 108(14). Avvertenza. La filosofia della matematica, edited by Carlo Cellucci, Editori Laterza, Bari1967, pp. 113–136. - Kurt Gödel. Osservazioni al Convegno su Problemi di Matematiea per il Secondo Centenario di Princeton. Italian translation of XXXI 484(8). Avvertenza. La filosofia della matematica, edited by Carlo Cellucci, Editori Laterza, Bari1967, pp. 137–141. - Alonzo Church. Matematiea e logica. Italian translation of XXVIII 106(4). Avvertenza. La filosofia della matematica, edited by Carlo Cellucci, Editori Laterza, Bari1967, pp. 143–151. - Haskell B. Curry. Osservazioni sulla definizione e sulla natura delta matematiea. Italian translation of XXII 85. Avvertenza. La filosofia della matematica, edited by Carlo Cellucci, Editori Laterza, Bari1967, pp. 153–159. - David Hilbert. Sull'infinito. Italian translation of 10813, with a concluding portion omitted. Avvertenza. La filosofia della matematica, edited by Carlo Cellucci, Editori Laterza, Bari1967, pp. 161–183. - Georg Kreisel. II programma di Hilbert. Italian translation of XXXIV 108(8). Avvertenza. La filosofia della matematica, edited by Carlo Cellucci, Editori Laterza, Bari1967, pp. 185–221. - L. E. J. Brouwer. Fondamenti storici, principi e metodi dell'intuizionismo. Italian translation of XIX 125(1), with a concluding portion omitted. Avvertenza. La filosofia della matematica, edited by Carlo Cellucci, Editori Laterza, Bari1967, pp. 223–231. - Arend Heyting. Disputa. Italian translation of the first chapter of XXI 367. Avvertenza. La filosofia della matematica, edited by Carlo Cellucci, Editori Laterza, Bari1967, pp. 233–248. - Arend Heyting. L'intuizionismo in matematiea. Avvertenza. La filosofia della matematica, edited by Carlo Cellucci, Editori Laterza, Bari1967, pp. 249–267. (Translated from Philosophy in the mid-century, edited by Raymond Klibansky, Florence 1968, pp. 101-115.) - Nelson Goodman and W. V. Quine. Verso un nominalismo construttivo. Italian translation of XIII 49. Avvertenza. La filosofia della matematica, edited by Carlo Cellucci, Editori Laterza, Bari1967, pp. 269–298. - Nelson Goodman. Un mondo di individui. Italian translation of XXII 205(2). Avvertenza. La filosofia della matematica, edited by Carlo Cellucci, Editori Laterza, Bari1967, pp. 299–320.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 313-314
-
- Article
- Export citation
Other
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 314-320
-
- Article
- Export citation
Notices of meetings of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 320
-
- Article
- Export citation