13629 results in The Journal of Symbolic Logic
The strong homogeneity conjecture
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 375-377
- Print publication:
- September 1970
-
- Article
- Export citation
H. L. Royden. Remarks on primitive notions for elementary Euclidean and non-Euclidean plane geometry. 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. 86–96.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 473-474
- Print publication:
- September 1970
-
- Article
- Export citation
Fellowship and research opportunities in the mathematical sciences
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 490-491
- Print publication:
- September 1970
-
- Article
- Export citation
Isabel C. Hungerland. Contextual implication. Inquiry (Oslo), vol. 3 (1960), pp. 211–258.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 458
- Print publication:
- September 1970
-
- Article
- Export citation
A. Włodzimierz Mostowski. On the decidability of some problems in special classes of groups. Fundamenta mathematicae, vol. 59 (1966), pp. 123–135. - A. Włodzimierz Mostowski. Computational algorithms for deciding some problems for nilpotent groups. Fundamenta mathematicae, vol. 59 (1966), pp. 137–152.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 476-477
- Print publication:
- September 1970
-
- Article
- Export citation
Takakazu Simauti. Mechanization of mathematics. Electronics and communications in Japan, vol. 46 no. 11 (1963), pp. 64–70.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 484
- Print publication:
- September 1970
-
- Article
- Export citation
A cornucopia of minimal degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 383-388
- Print publication:
- September 1970
-
- Article
- Export citation
K. de Leeuw, E. F. Moore, C. E. Shannon, and N. Shapiro. Computability by probabilistic machines. Automata studies, edited by C. E. Shannon and J. McCarthy, Annals of Mathematics studies no. 34, lithoprinted, Princeton University Press, Princeton1956, pp. 183–212.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 481-482
- Print publication:
- September 1970
-
- Article
- Export citation
C. B. Daly. Metaphysics and the limits of language. Prospect for metaphysics, edited by Ian Ramsey. Philosophical Library, Inc., New York1961, pp. 178–205.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 456
- Print publication:
- September 1970
-
- Article
- Export citation
M. L. Minsky. Some universal elements for finite automata. Automata studies, edited by C. E. Shannon and J. McCarthy, Annals of Mathematics studies no. 34, lithoprinted, Princeton University Press, Princeton1956, pp. 117–128.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 480-481
- Print publication:
- September 1970
-
- Article
- Export citation
Michael Anderson. Approximation to a decision procedure for the halting problem. Notre Dame journal of formal logic, vol. 9 no. 4 (for 1968, pub. 1969), pp. 305–312.
-
- 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
B. Meltzer. The third possibility. Mind, n.s. vol. 73 (1964), pp. 430–433. - B. Meltzer and I. J. Good. Two forms of the prediction paradox. The British journal for the philosophy of science, vol. 16 no. 61 (1965), pp. 50–51. - William H. Halberstadt. In defence of Euclid: A reply to B. Meltzer. Mind, n.s. vol. 76 (1967), p. 282.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 458-459
- Print publication:
- September 1970
-
- Article
- Export citation
David Wiggins. Identity and spatio-temporal continuity. Basil Blackwell, Oxford1967, viii + 83 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 447-448
- Print publication:
- September 1970
-
- Article
- Export citation
Hans Hermes. Eine Termlogik mit Auswahloperator. Lecture notes in mathematics no. 6, Springer-Verlag, Berlin, Heidelberg, and New York, 1965, iv + 42 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 440
- Print publication:
- September 1970
-
- Article
- Export citation
Notice of a meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 490
- Print publication:
- September 1970
-
- Article
- Export citation
Patrick C. Fischer. A note on bounded-truth-table reducibility. Proceedings of the American Mathematical Society, vol. 14 (1963), pp. 875–877.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 478
- Print publication:
- September 1970
-
- Article
- Export citation
Paul Axt. Iteration of primitive recursion. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 (1965), pp. 253–255.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 479
- Print publication:
- September 1970
-
- Article
- Export citation
Paul Strauss. Some systems of natural deduction. Notre Dame journal of formal logic, vol. 8 no. 4 (for 1967, pub. 1968), pp. 286–290.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 466
- Print publication:
- September 1970
-
- Article
- Export citation
C. C. Chang. Maximal n-disjointed sets and the axiom of choice. Fundamenta mathematicae, vol. 49 (1960), pp. 11–14.
-
- 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
G. J. Warnock. Metaphysics in logic. Proceedings of the Aristotelian Society, n.s. vol. 51 (1950–1951), pp. 197–222.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 455-456
- Print publication:
- September 1970
-
- Article
- Export citation