13629 results in The Journal of Symbolic Logic
Notice of a Conference on Relevance Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 550
- Print publication:
- September 1973
-
- Article
- Export citation
Degrees of continuous functionals
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 393-395
- Print publication:
- September 1973
-
- Article
- Export citation
James Rosenberg. The application of ternary semigroups to the study of n-valued Sheffer functions. Notre Dame journal of formal logic, vol. 10 (1969), pp. 90–94.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 520
- Print publication:
- September 1973
-
- Article
- Export citation
George Boolos and Hilary Putnam. Degrees of unsolvability of constructible sets of integers. The journal of symbolic logic, vol. 33 no. 4 (for 1968, pub. 1969), pp. 497–513.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 527-528
- Print publication:
- September 1973
-
- Article
- Export citation
Noninitial segments of the α-degrees1
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 368-388
- Print publication:
- September 1973
-
- Article
- Export citation
Ralph C. Applebee and Biswambhar Pahi. Some results on generalized truth-tables. Notre Dame journal of formal logic, vol. 12 (1971), pp. 435–440.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 521
- Print publication:
- September 1973
-
- Article
- Export citation
George S. Boolos. A proof of the Löwenheim-Skolem theorem. Notre Dame journal of formal logic, vol. 11 (1970), pp. 76–78.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 519
- Print publication:
- September 1973
-
- Article
- Export citation
Wayne H. Richter. Regressive sets of order n. Mathematische Zeitschrift, vol. 86 no. 5 (1965), pp. 372–374.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 525
- Print publication:
- September 1973
-
- Article
- Export citation
Hans Hermes. Einführung in die mathematische Logik. Klassische Prädikatenlogik. Second edition, revised and expanded, of XXX 355. B. G. Teubner, Stuttgart1969, 204 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 518-519
- Print publication:
- September 1973
-
- Article
- Export citation
V. D. Vuckovic. Almost recursive sets. Proceedings of the American Mathematical Society, vol. 23 (1969), pp. 114–119.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 525-526
- Print publication:
- September 1973
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 536-540
- Print publication:
- September 1973
-
- Article
- Export citation
Uncountable models and infinitary elementary extensions
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 460-470
- Print publication:
- September 1973
-
- Article
- Export citation
JSL volume 38 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. f1
- Print publication:
- September 1973
-
- Article
-
- You have access
- Export citation
Hans Freudenthal. Lincos. Design of a language for cosmic intercourse. Part I. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1960, 224 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 517
- Print publication:
- September 1973
-
- Article
- Export citation
Z. I. Kozlova. Aksioma konstruktivnosti i kratnaá otdélimost' i néotdélimost' v klassah analitičéskoj iérarhii (The axiom of constructibility and multiple separability and inseparability in the classes of the analytical hierarchy). Sibirskij matématičéskij žurnal, vol. 5 (1964), pp. 1239–1258.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 529-530
- Print publication:
- September 1973
-
- Article
- Export citation
Complete types and the natural numbers
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 413-415
- Print publication:
- September 1973
-
- Article
- Export citation
An axiomatisation of quantum logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 389-392
- Print publication:
- September 1973
-
- Article
- Export citation
Th. Skolem. Recursive enumeration of some classes of primitive recursive functions and a majorisation theorem. Det Kongelige Norske Videnskabers Selskabs, Forhandlinger, vol. 35 (for 1962, pub. 1963), pp. 142–148. Reprinted in Selected works in logic, by Th. Skolem, edited by Jens Erik Fenstad, Universitetsforlaget, Oslo, Bergen, and Tromsö, 1970, pp. 681–687.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 526
- Print publication:
- September 1973
-
- Article
- Export citation
R. Zane Parks. On formalizing Aristotle's theory of modal syllogisms. Notre Dame journal of formal logic, vol. 13 (1972), pp. 385–386.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 519-520
- Print publication:
- September 1973
-
- Article
- Export citation
Saharon Shelah. Uniqueness and characterization of prime models over sets for totally transcendental first-order theories. The journal of symbolic logic, vol. 37 (1972), pp. 107–113.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 523-524
- Print publication:
- September 1973
-
- Article
- Export citation