Contents
Reviews
Raphael M. Robinson. Restricted set-theoretical definitions in arithmetic. Proceedings of the American Mathematical Society, vol. 9 (1958), pp. 238–242. - Raphael M. Robinson. Restricted set-theoretical definitions in arithmetic. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 139–140.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 659-660
-
- Article
- Export citation
K. Jaakko Hintikka. Reductions in the theory of types. Two papers on symbolic logic, Acta philosophica Fennica no. 8, Helsinki1955, pp. 57–115.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 660
-
- Article
- Export citation
Solomon Feferman. Systems of predicative analysis. The journal of symbolic logic, Bd. 29 Heft 1 (1964), S. 1–30.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 660-661
-
- Article
- Export citation
Azriel Lévy. Comparing the axioms of local and universal choice. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem1961, and North-Holland Publishing Company, Amsterdam 1962, pp. 83–90.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 661-662
-
- Article
- Export citation
Richard Montague. Fraenkel's addition to the axioms of Zermelo. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem1961, and North-Holland Publishing Company, Amsterdam 1962, pp. 91–114.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 662
-
- Article
- Export citation
Dana Scott. The notion of rank in set-theory. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 267–269.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 662-663
-
- Article
- Export citation
Hilary Putnam. Axioms of class existence. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 271–274.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 663
-
- Article
- Export citation
H D Sprinkle. A development of cardinals in “The consistency of the continuum hypothesis.”Proceedings of the American Mathematical Society, vol. 7 (1956), pp. 289–291.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 663
-
- Article
- Export citation
Roman Sikorski. A few problems on Boolean algebras. Colloquium mathematicum, vol. 11 no. 1 (1963), pp. 25–28.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 663-664
-
- Article
- Export citation
A. G. Lunc. Mnogopolúsniki, sodéržaščié zamykaúščié kontakty vnutrénnih rélé (Multiterminal networks containing the closing contacts of internal relays). Doklady Akadémii Nauk SSSR, vol. 165 (1965), pp. 47–50.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 664
-
- Article
- Export citation
Anjan Shukla. A set of axioms for the propositional calculus with implication and converse non-implication. Notre Dame journal of formal logic, vol. 6 no. 2 (1965), pp. 123–128.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 664
-
- Article
- Export citation
A. R. Turquette. Solution to a problem of Rose and Rosser. Proceedings of the American Mathematical Society, vol. 12 (1961), pp. 253–255.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 664-665
-
- Article
- Export citation
Atwell R. Turquette. Independent axioms for infinite-valued logic. The journal of symbolic logic, vol. 28 no. 3 (for 1963, pub. 1964), pp. 217–221.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 665
-
- Article
- Export citation
Akira Nakamura. On the infinitely many-valued double-threshold logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 (1965), pp. 93–101. - Akira Nakamura. On a certain system of modal logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 (1965), pp. 203–207.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 665
-
- Article
- Export citation
A. N. Prior. The theory of implication. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 1–6. - A. N. Prior. The theory of implication: two corrections. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 (1965), pp. 381–382. - Bolesław Sobociński. A note on Prior's systems in “The theory of deduction.”Notre Dame journal of formal logic, vol. 5 no. 2 (1964), pp. 139–140.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 665-666
-
- Article
- Export citation
E. E. Dawson. A model for deontic logic. Analysis (Oxford), vol. 19 no. 4 (1959), pp. 73–78. - Lennart Åqvist. On Dawson-models for deontic logic. Logique et analyse, n.s. vol. 7 (1964), pp. 14–21.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 666
-
- Article
- Export citation
Henry S. Leonard. Interrogatives, imperatives, truth, falsity and lies. Philosophy of science, vol. 26 (1959), pp. 172–186. - J. M. O. Wheatley. Note on Professor Leonard's analysis of interrogatives, etc. Philosophy of science, vol. 28 (1961), pp. 52–54. - Henry S. Leonard. A reply to Professor Wheatley. Philosophy of science, vol. 28 (1961), pp. 55–64. - C. L. Hamblin. Questions aren't statements. Philosophy of science, vol. 30 (1963), pp. 62–63.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 666-668
-
- Article
- Export citation
M. J. Cresswell. The logic of interrogatives. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, edited by J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 8–11.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 668
-
- Article
- Export citation
Robert Abernathy. The problem of linguistic equivalence. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence 1961, pp. 95–98.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 668
-
- Article
- Export citation
Robert M. W. Dixon. A logical statement of grammatical theory as contained in Halliday's ‘Categories of the theory of grammar.’Language, vol. 39 (1963), pp. 654–668. - Robert M. W. Dixon. Linguistic science and logic. Janua linguarum, Studia memoriae Nicolai van Wijk dedicata, series minor no. 28. Mouton & Co., The Hague1963, 108 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 668-670
-
- Article
- Export citation