13629 results in The Journal of Symbolic Logic
A. Heyting. Intuitionism in mathematics. English original of XXXIV 313(12). Philosophy in the mid-century, A survey, I Logic and philosophy of science, edited by Raymond Klibansky, La Nuova Italia Editrice, Florence1958, pp. 101–115.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 609
- Print publication:
- September 1974
-
- Article
- Export citation
Ú. V. Matiásévič. Diofantovo prédstavlénié péréčislimyh prédikatov. Izvéstiá Akadémii Nauk SSSR, Sériá matématičéskaá, vol. 35 (1971), pp. 3–30. - Ju. V. Matijasevič. Diophantine representation of enumerable predicates. English translation of the preceding by F. M. Goldware. Mathematics of the USSR, Izvestija, vol. 5 (for 1971, pub. 1972), pp. 1–28.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 605
- Print publication:
- September 1974
-
- Article
- Export citation
J. R. Shilleto. Minimum models of analysis. The journal of symbolic logic, vol. 37 (1972), pp. 48–54.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 601
- Print publication:
- September 1974
-
- Article
- Export citation
Howard Kahane. Logic and philosophy. A modern introduction. Wadsworth Publishing Company, Inc., Belmont, California, 1969, xv + 450 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 613-614
- Print publication:
- September 1974
-
- Article
- Export citation
Krister Segerberg. Decidability of S4.1. Theoria (Lund), vol. 34 (1968), pp. 7–20.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 611-612
- Print publication:
- September 1974
-
- Article
- Export citation
Ernest Adams. The logic of conditionals. Inquiry (Oslo), vol. 8 (1965), pp. 166–197. - Ernest W. Adams. Probability and the logic of conditionals. Aspects of inductive logic, edited by Jaakko Hintikka and Patrick Suppes, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1966, pp. 265–316.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 609-611
- Print publication:
- September 1974
-
- Article
- Export citation
Tosiyuki Tugué and Sigeru Hinata. A note on continuous functionals. Annals of the Japan Association for Philosophy of Science, vol. 3 no. 4 (1969), pp. 138–145.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 606-607
- Print publication:
- September 1974
-
- Article
- Export citation
The Boolean algebras of abelian groups and well-orders
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 452-458
- Print publication:
- September 1974
-
- Article
- Export citation
JSL volume 39 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- September 1974
-
- Article
-
- You have access
- Export citation
JSL volume 39 issue 4 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 4 / December 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
- Print publication:
- December 1974
-
- Article
-
- You have access
- Export citation
Richard L. Purtill. Logic for philosophers. Harper & Row, Publishers, New York, Evanston, and London, 1971, xxii + 419 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 614-615
- Print publication:
- September 1974
-
- Article
- Export citation
Notice of the second international conference on computers and the humanities
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 624
- Print publication:
- September 1974
-
- Article
- Export citation
John Case. Enumeration reducibility and partial degrees. Annals of mathematical logic, vol. 2 no. 4 (1971), pp. 419–439.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 605-606
- Print publication:
- September 1974
-
- Article
- Export citation
Charles E. Caton. A stipulation of logical truth in a modal propositional calculus. Synthese, vol. 14 (1962), pp. 196–199. - Charles E. Caton. A stipulation of a modal propositioned calculus in terms of modalized truth-values. Notre Dame journal of formal logic, vol. 4 no. 3 (1963), pp. 224–226.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 611
- Print publication:
- September 1974
-
- Article
- Export citation
H. B. Enderton and Harvey Friedman. Approximating the standard model of analysis. Fundamenta mathematicae, vol. 72 no. 2 (1971), pp. 175–188.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 600-601
- Print publication:
- September 1974
-
- Article
- Export citation
Syntactic characterisations of amalgamation, convexity and related properties
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 433-451
- Print publication:
- September 1974
-
- Article
- Export citation
The finite controllability of the Maslov case
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 509-518
- Print publication:
- September 1974
-
- Article
- Export citation
JSL volume 39 issue 4 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 4 / December 1974
- Published online by Cambridge University Press:
- 09 April 2017, pp. f1-f2
- Print publication:
- December 1974
-
- Article
-
- You have access
- Export citation
Paul C. Eklof and Edward R. Fisher. The elementary theory of Abelian groups. Annals of mathematical logic, vol. 4 no. 2 (1972), pp. 115–171.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 603-604
- Print publication:
- September 1974
-
- Article
- Export citation
The Hanf number for complete Lω1,ω-sentences (without GCH)
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 575-578
- Print publication:
- September 1974
-
- Article
- Export citation