13629 results in The Journal of Symbolic Logic
Boolean extensions which efface the Mahlo property1
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 254-268
- Print publication:
- June 1974
-
- Article
- Export citation
C. E. M. Yates. On the degrees of index sets. Transactions of the American Mathematical Society, vol. 121 (1966), pp. 309–328.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 344
- Print publication:
- June 1974
-
- Article
- Export citation
Walter J. Savitch. Relationships between nondeterministic and deterministic tape complexities. Journal of computer and system sciences, vol. 4 (1970), pp. 177–192.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 346-347
- Print publication:
- June 1974
-
- Article
- Export citation
H. Jerome Keisler. Good ideals in fields of sets. Annals of mathematics, vol. 79 (1964), pp. 338–359. - H. Jerome Keisler. Ideals with prescribed degree of goodness. Annals of mathematics vol. 81 (1965), pp. 112–116.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 332-333
- Print publication:
- June 1974
-
- Article
- Export citation
Analytic inductive definitions
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 310-312
- Print publication:
- June 1974
-
- Article
- Export citation
Σn sets which are Δn-incomparable (uniformly)1
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 295-304
- Print publication:
- June 1974
-
- Article
- Export citation
Jean van Heijenoort. Introductory note. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge Mass., 1967, p. 124. - Bertrand Russell. Letter to Frege. From Frege to Gödel, A source book in mathematical logic, 1879–1931 pp. 124–125. - Jean van Heijenoort. Introductory note. From Frege to Gödel, A source book in mathematical logic, 1879–1931 pp. 126–1271. - Gottlob Frege. Letter to Russell. From Frege to Gödel, A source book in mathematical logic, 1879–1931 pp. 127–128.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 355
- Print publication:
- June 1974
-
- Article
- Export citation
Nonrecursive tilings of the plane. II
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 286-294
- Print publication:
- June 1974
-
- Article
- Export citation
Notice of the Society for Exact Philosophy
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 370
- Print publication:
- June 1974
-
- Article
- Export citation
Leon Henkin. Mathematical foundations for mathematics. The American mathematical monthly, vol. 78 (1971), pp. 463–487.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 333
- Print publication:
- June 1974
-
- Article
- Export citation
Pascual Jordan. Quantenlogik und das kommutative Gesetz. 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, edited by Leon Henkin, Patrick Suppes, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 365–375.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 353
- Print publication:
- June 1974
-
- Article
- Export citation
J. H. Woodger. From biology to mathematics. The British journal for the philosophy of science, vol. 3 (1952–1953), pp. 1–21.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 353-354
- Print publication:
- June 1974
-
- Article
- Export citation
Akira Nakamura. A remark on the truth-value stipulation for the modal system M′. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 (1967), pp. 11–14. - Akira Nakamura. On an axiomatic system of modal logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik vol. 14 (1968), pp. 61–66. - R. A. Bull. On a paper of Akira Nakamura. Zeitschrift für mathematische Logik und Grundlagen der Mathematik vol. 15 (1969), pp. 155–156.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 351
- Print publication:
- June 1974
-
- Article
- Export citation
Helmut Pfeiffer. Ein Bezeichnungssystem für Ordinalzahlen. Archiv für mathematische Logik und Grundlagenforschung, vol. 13 (1970), pp. 74–90.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 342
- Print publication:
- June 1974
-
- Article
- Export citation
Fred Sommers. On a Fregean dogma. Problems in the philosophy of mathematics, Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, volume 1, edited by Imre Lakatos, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1967, pp. 47–62.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 360-361
- Print publication:
- June 1974
-
- Article
- Export citation
Atwell R. Turquette. Peirce's icons for deductive logic. Studies in the philosophy of Charles Sanders Peirce, Second series, edited by Edward C. Moore and Richard S. Robin, The University of Massachusetts Press, Amherst 1964, pp. 95–108.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 354
- Print publication:
- June 1974
-
- Article
- Export citation
Jack H. Silver. Measurable cardinals and well-orderings. Annals of mathematics, ser. 2 vol. 94 (1971), pp. 414–446.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 330-331
- Print publication:
- June 1974
-
- Article
- Export citation
F. D. Lewis. The enumerability and invariance of complexity classes. Journal of computer and system sciences, vol. 5 (1971), pp. 286–303.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 349
- Print publication:
- June 1974
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, Orléans, France, 1972
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 371-389
- Print publication:
- June 1974
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 366-369
- Print publication:
- June 1974
-
- Article
- Export citation