Reviews
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
A. A. Lápunov. Matématičéskié isslédovaniá, svázannyé s ekspluataciéj eléktronnyh vyčislitél′nyh mašin (Mathematical investigations connected with the operation of electronic computing machines). Matematika v SSSR za sorok lét 1917–1957, vol. 1, Obzornyé stat′i, Gosudarstvénnoé Izdatél′stvo Fiziko-matématičéskoj Literatury, Moscow1959, pp. 857–877.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 516
-
- Article
- Export citation
Other
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 287-289
-
- Article
- Export citation
Reviews
Daniel Lacombe. Quelques procédés de définition en topologie récursive. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by A. Heyting, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 129–158.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 133-134
-
- Article
- Export citation
D. L. Kreider and Hartley RogersJr, Constructive versions of ordinal number classes. Transactions of the American Mathematical Society, vol. 100 (1961), pp. 325–369.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 134-135
-
- 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
Matématika v SSSR za sorok lét 1917–1957. Vol. 2. Biobibliografiá. (Mathematics in the USSR during the forty years 1917–1957. Vol. 2. Biobibliography.)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 516-517
-
- Article
- Export citation
Announcement
Elections
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 289
-
- Article
-
- You have access
- Export citation
Reviews
Foreword. Bibliography of Polish mathematics 1944–1954, translated reprint from the Roczniki Polskiego Towarzystwa Matematycznego, seria II, Wiadomości matematyczne, published for the Department of Commerce and the National Science Foundation, Washington, D.C., on the order of Centralny Instytut Informacji Naukowo-technicznej i Ekonomicznej, by Państwowe Wydawnictwo Naukowe, Warsaw 1963 (available from the Office of Technical Services, U.S. Department of Commerce, Washington, D.C., for distribution in U.S.A. only), pp. 1–2. - A. Mostowski and J. Łoś. I. Foundations of mathematics, theory of sets and mathematical logic. Bibliography of Polish mathematics 1944–1954, translated reprint from the Roczniki Polskiego Towarzystwa Matematycznego, seria II, Wiadomości matematyczne, published for the Department of Commerce and the National Science Foundation, Washington, D.C., on the order of Centralny Instytut Informacji Naukowo-technicznej i Ekonomicznej, by Państwowe Wydawnictwo Naukowe, Warsaw 1963 (available from the Office of Technical Services, U.S. Department of Commerce, Washington, D.C., for distribution in U.S.A. only), pp. 4–17. - S. Drobot and S. Straszewicz. XI. History, teaching, popularization and organization of mathematics. Bibliography of Polish mathematics 1944–1954, translated reprint from the Roczniki Polskiego Towarzystwa Matematycznego, seria II, Wiadomości matematyczne, published for the Department of Commerce and the National Science Foundation, Washington, D.C., on the order of Centralny Instytut Informacji Naukowo-technicznej i Ekonomicznej, by Państwowe Wydawnictwo Naukowe, Warsaw 1963 (available from the Office of Technical Services, U.S. Department of Commerce, Washington, D.C., for distribution in U.S.A. only), pp. 120–133.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 517
-
- 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
Hilary Putnam. Uniqueness ordinals in higher constructive number classes. 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, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam1962, pp. 190–206.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 135-136
-
- Article
- Export citation
Abstract
Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 290
-
- Article
-
- You have access
- Export citation
Reviews
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
Hilary Putnam. On hierarchies and systems of notations. Proceedings of the American Mathematical Society, vol. 15 (1964), pp. 44–50.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 136-137
-
- Article
- Export citation
Other
Notices of meetings of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 302
-
- Article
- Export citation
Reviews
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 517-523
-
- Article
- Export citation
Other
Notice of the Third International Congress for Logic, Methodology and Philosophy of Science
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 523-524
-
- Article
- Export citation
Reviews
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
Front matter
JSL volume 31 issue 2 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Reviews
C. Spector. Hyperarithmetical quantifiers. Fundamenta mathematicae, vol. 48 no. 3 (1960), pp. 313–320. - Shih-Chao Liu. Recursive linear orderings and hyper arithmetical junctions. Notre Dame journal of formal logic, vol. 3 (1962), pp. 129–132.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 137
-
- Article
- Export citation