13629 results in The Journal of Symbolic Logic
JSL volume 26 issue 1-2 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 26 / Issue 1-2 / June 1961
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- June 1961
-
- Article
-
- You have access
- Export citation
Index of abstracts
-
- Journal:
- The Journal of Symbolic Logic / Volume 26 / Issue 1-2 / June 1961
- Published online by Cambridge University Press:
- 12 March 2014, pp. 13-19
- Print publication:
- June 1961
-
- Article
- Export citation
Index of contributed papers
-
- Journal:
- The Journal of Symbolic Logic / Volume 26 / Issue 1-2 / June 1961
- Published online by Cambridge University Press:
- 12 March 2014, pp. 2-12
- Print publication:
- June 1961
-
- Article
- Export citation
Prefatory statement to the index volume
-
- Journal:
- The Journal of Symbolic Logic / Volume 26 / Issue 1-2 / June 1961
- Published online by Cambridge University Press:
- 12 March 2014, p. 1
- Print publication:
- June 1961
-
- Article
- Export citation
Index of reviewers
-
- Journal:
- The Journal of Symbolic Logic / Volume 26 / Issue 1-2 / June 1961
- Published online by Cambridge University Press:
- 12 March 2014, pp. 143-148
- Print publication:
- June 1961
-
- Article
- Export citation
J. R. Shoenfield. On the independence of the axiom of constructibility. American journal of mathematics, vol. 81 (1959), pp. 537–840.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 355
- Print publication:
- December 1960
-
- Article
- Export citation
A. N. Prior. Thank goodness that's over. Philosophy, vol. 34 (1959), pp. 12–17. - L. Jonathan Cohen. Professor Prior on thanking goodness that's over. Philosophy, vol. 34 (1959), pp. 360–362. - A. N. Prior. Mr. Cohen on thanking goodness that p and q. Philosophy, vol. 34 (1959), pp. 362–363. - L. Jonathan Cohen. A brief rejoinder to Professor Prior. Philosophy, vol. 34 (1959), pp. 363–364.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 343
- Print publication:
- December 1960
-
- Article
- Export citation
Evert W. Beth. “Cogito ergo sum” — raisonnement ou intuition? Französisch, mit französischem, deutschem und englischem Résumé. Ebd., S. 19–31; auch ebd., S. 223–235.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 349-350
- Print publication:
- December 1960
-
- Article
- Export citation
A. Mostowski. On a generalization of quantifiers. Ebd., Bd. 44 (1957), S. 12–36.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 365-366
- Print publication:
- December 1960
-
- Article
- Export citation
Twenty-sixth annual meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 384-392
- Print publication:
- December 1960
-
- Article
- Export citation
Dana Scott. Completeness proofs for the intuitionistic sentential calculus. 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. 231–241.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 351
- Print publication:
- December 1960
-
- Article
- Export citation
Sörén Halldén. Kants Kritik des. ontologischen Gottesbeweises. Theoria, vol. 18 (1952), pp. 1–31.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 346-347
- Print publication:
- December 1960
-
- Article
- Export citation
Håkan Törnebohm. Outlines of a Boolean tensor algebra with applications to the lower functional calculus. Theoria (Lund), vol. 24 (1958), pp. 39–47.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 367-368
- Print publication:
- December 1960
-
- Article
- Export citation
A. N. Prior. Time and modality. Being the John Locke lectures for 1955–6 delivered in the University of Oxford. Oxford University Press, London, Glasgow, New York, Toronto1957, ix + 148 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 342-343
- Print publication:
- December 1960
-
- Article
- Export citation
Richard Friedberg. The uniqueness of finite division for recursive equivalence types. Mathematische Zeitschrift, vol. 75 (1961), pp. 3–7.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 363
- Print publication:
- December 1960
-
- Article
- Export citation
Raili Kauppi. Eräitä intensionaalisen logiikan probleemoja (Some problems of intensional logic). Ajatus, vol. 19 (1956), pp. 97–111.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 340
- Print publication:
- December 1960
-
- Article
- Export citation
Abraham A. Fraenkel. Paul Bernays und die Begründung der Mengenlehre. Ebd., S. 70–75; auch ebd., S. 274–279.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 350
- Print publication:
- December 1960
-
- Article
- Export citation
Preliminary notice
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 392
- Print publication:
- December 1960
-
- Article
- Export citation
Arthur Pap. Types and meaninglessness. Mind, n.s. vol. 69 (1960), pp. 41–54.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 333-334
- Print publication:
- December 1960
-
- Article
- Export citation
Herbert A. Simon. Definable terms and primitives in axiom systems. 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. 443–453.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 355-356
- Print publication:
- December 1960
-
- Article
- Export citation