13629 results in The Journal of Symbolic Logic
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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 666
- Print publication:
- December 1966
-
- 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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 666-668
- Print publication:
- December 1966
-
- Article
- Export citation
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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 659-660
- Print publication:
- December 1966
-
- Article
- Export citation
Annual meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 682
- Print publication:
- December 1966
-
- Article
- Export citation
Erik Ellentuck. Infinite products of isols. Pacific journal of mathematics, vol. 14 (1964), pp. 49–52.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 652-653
- Print publication:
- December 1966
-
- 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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 662-663
- Print publication:
- December 1966
-
- 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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 668-670
- Print publication:
- December 1966
-
- Article
- Export citation
Marvin L. Minsky. Recursive unsolvability of Post's problem of “Tag” and other topics in the theory of Turing machines. Annals of mathematics, second series, vol. 74 (1961), pp. 437–455.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 654-655
- Print publication:
- December 1966
-
- Article
- Export citation
David Rynin. Introduction. A treatise on language, by Alexander Bryan Johnson, edited by David Rynin, University of California Press, Berkeley and Los Angeles, and Cambridge University Press, London, 1959, pp. 1–25.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 670-671
- Print publication:
- December 1966
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 677-681
- Print publication:
- December 1966
-
- 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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 668
- Print publication:
- December 1966
-
- Article
- Export citation
Solomon Feferman. Systems of predicative analysis. The journal of symbolic logic, Bd. 29 Heft 1 (1964), S. 1–30.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 660-661
- Print publication:
- December 1966
-
- Article
- Export citation
Alfred Tarski. Introduction to logic and to the methodology of deductive sciences. Third edition of VI 30. Oxford University Press, New York1965, viii + 252 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 674
- Print publication:
- December 1966
-
- Article
- Export citation
Shôji Maehara. Another proof of Takeuti's theorems on Skolem's paradox. Journal of the Faculty of Science, University of Tokyo, section I, vol. 7 part 5 (1958), pp. 541–556.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 659
- Print publication:
- December 1966
-
- Article
- Export citation
JSL volume 31 issue 4 Cover and Back matter and Errata
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b8
- Print publication:
- December 1966
-
- Article
-
- You have access
- Export citation
Richard B. Angell. Reasoning and logic. Appleton-Century-Crofts, New York1964, xiv + 625 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 674
- Print publication:
- December 1966
-
- Article
- Export citation
P. S. Novikov. Elements of mathematical logic. English translation of XXX 356 by Leo F. Boron, with a preface and notes by R. L. Goodstein. Oliver & Boyd, Edinburgh and London, and Addison-Wesley Publishing Company, Inc., Reading, Mass., Palo Alto, and London, 1964, xi + 296 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 672
- Print publication:
- December 1966
-
- Article
- Export citation
M. L. Minsky. Size and structure of universal Turing machines using Tag systems. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 229–238.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 655
- Print publication:
- December 1966
-
- Article
- Export citation
John Tucker. The formalisation of set theory. Mind, n.s. vol. 72 (1963), pp. 500–518.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 676-677
- Print publication:
- December 1966
-
- Article
- Export citation
Alan Cobham. Effectively decidable theories. 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. 391–395.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 653
- Print publication:
- December 1966
-
- Article
- Export citation