13630 results in The Journal of Symbolic Logic
A. Ehrenfeucht and A. Mostowski. A compact space of models of first order theories. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 9 (1961), pp. 369–373.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 586-587
- Print publication:
- December 1970
-
- Article
- Export citation
M. D. Davis. A note on universal Turing machines. Automata studies, edited by C. E. Shannon and J. McCarthy, Annals of Mathematics studies no. 34, lithoprinted, Princeton University Press, Princeton1956, pp. 167–175. - Martin Davis. The definition of universal Turing machine. Proceedings of the American Mathematical Society, vol. 8 (1957), pp. 1125–1126.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 590
- Print publication:
- December 1970
-
- Article
- Export citation
James Willard Oliver. Some misconceptions of modern logic. Darshana international (Moradabad), vol. 5 no. 2 (1965), pp. 26–33.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 578
- Print publication:
- December 1970
-
- Article
- Export citation
H. Jerome Keisler. Ultraproducts which are not saturated. The journal of symbolic logic, vol. 32 (1967), pp. 23–46.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 585
- Print publication:
- December 1970
-
- Article
- Export citation
Finite partially-ordered quantification
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 535-555
- Print publication:
- December 1970
-
- Article
- Export citation
R. Sikorski. On Herbrand's theorem. Colloquium mathematicum, vol. 6 (1958), pp. 55–58.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 587
- Print publication:
- December 1970
-
- Article
- Export citation
Partial recursive functions and ω-functions1
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 559-568
- Print publication:
- December 1970
-
- Article
- Export citation
James R. Slagle. Experiments with a deductive question-answering program. Communications of the ACM, vol. 8 (1965), pp. 792–798.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 596
- Print publication:
- December 1970
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, Manchester 1969
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 598-612
- Print publication:
- December 1970
-
- Article
- Export citation
H. Jerome Keisler. Ultraproducts of finite sets. The journal of symbolic logic, vol. 32 (1967), pp. 47–57.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 586
- Print publication:
- December 1970
-
- Article
- Export citation
H. Jerome Keisler. Ultraproducts and saturated models. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 67 (1964), pp. 178–186; also Indagationes mathematicae, vol. 26 (1964), pp. 178–186.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 584-585
- Print publication:
- December 1970
-
- Article
- Export citation
Rolf Schock, On determinism, the universe, and related concepts. Synthese, vol. 14 (1962), pp. 255–276.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 577-578
- Print publication:
- December 1970
-
- Article
- Export citation
Hierarchies of Boolean algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 365-374
- Print publication:
- September 1970
-
- Article
- Export citation
Helmut Schwichtenberg. Rekursionszahlen und die Grzegorczyk-Hierarchie. Archiv für mathematische Logik und Grundlagenforschung, vol. 12 (1969), pp. 85–97.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 480
- Print publication:
- September 1970
-
- Article
- Export citation
The decidability of the Kreisel-Putnam system1
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 431-437
- Print publication:
- September 1970
-
- Article
- Export citation
G. H. von Wright. A note on entailment. The philosophical quarterly, vol. 9 (1959), pp. 363–365.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 462
- Print publication:
- September 1970
-
- Article
- Export citation
Notice of the 1971 International Congress for Logic, Methodology and Philosophy of Science
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 491
- Print publication:
- September 1970
-
- Article
- Export citation
JSL volume 35 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- September 1970
-
- Article
-
- You have access
- Export citation
B. L. Blose. Synonymy. The philosophical quarterly (St. Andrews), vol. 15 (1965), pp. 302–316.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 457-458
- Print publication:
- September 1970
-
- Article
- Export citation
Azriel Lévy. On a spectrum of set theories. Illinois journal of mathematics, vol. 4 (1960), pp. 413–424. - A. Lévy and R. Vaught. Principles of partial reflection in the set theories of Zermelo and Ackermann. Pacific journal of mathematics, vol. 11 (1961), pp. 1045–1062. - Azriel Lévy. On the principles of reflection in axiomatic set theory. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 87–93.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 473
- Print publication:
- September 1970
-
- Article
- Export citation