13630 results in The Journal of Symbolic Logic
Alan Cobham. Effectively decidable theories. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 391–395.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 653
- Print publication:
- December 1966
-
- Article
- Export citation
A. H. Lachlan. Effective operations in a general setting. The journal of symbolic logic, vol. 29 no. 4 (for 1964, pub. 1965), pp. 163–178.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 654
- Print publication:
- December 1966
-
- Article
- Export citation
Abstracts of papers
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 697-706
- Print publication:
- December 1966
-
- Article
-
- You have access
- Export citation
Burton Dreben, Peter Andrews, and Stål Aanderaa. False lemmas in Herbrand. Bulletin of the American Mathematical Society, vol. 69 (1963), pp. 699–706.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 657-659
- Print publication:
- December 1966
-
- Article
- Export citation
A. Ehrenfeucht and A. Mostowski. Models of axiomatic theories admitting automorphisms. Fundamenta mathematicae, vol. 43 (1956), pp. 50–68.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 644-645
- Print publication:
- December 1966
-
- Article
- Export citation
Max Beberman and Herbert E. Vaughan. High school mathematics. Course 2. Plane geometry with appendices on logic and solid geometry. D. C. Heath and Company, Boston, Englewood, Chicago, San Francisco, Atlanta, Dallas, London, and Toronto, 1965, xi + 584 pp. - Max Beberman and Herbert E. Vaughan. High school mathematics. Course 2. Plane geometry with appendices on logic and solid geometry. Teacher's edition. D. C. Heath and Company, Boston, Englewood, Chicago, San Francisco, Atlanta, Dallas, London, and Toronto, 1965, 608 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 672-673
- Print publication:
- December 1966
-
- Article
- Export citation
Yiannis N. Moschovakis. Notation systems and recursive ordered fields. Compositio mathematica, vol. 17 no. 1 (1965), pp. 40–71.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 650-651
- Print publication:
- December 1966
-
- Article
- Export citation
H D Sprinkle. A development of cardinals in “The consistency of the continuum hypothesis.”Proceedings of the American Mathematical Society, vol. 7 (1956), pp. 289–291.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 663
- Print publication:
- December 1966
-
- Article
- Export citation
W. V. Quine. A proof procedure for quantification theory. The journal of symbolic logic, vol. 20 (1955), pp. 141–149.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 657
- Print publication:
- December 1966
-
- Article
- Export citation
Fellowship and research opportunities in mathematics
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 681
- Print publication:
- December 1966
-
- Article
- Export citation
A. Ehrenfeucht. On theories categorical in power. Fundamenta mathematicae, vol. 44 (1957), pp. 241–248.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 645
- Print publication:
- December 1966
-
- Article
- Export citation
A note on universal sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 573-574
- Print publication:
- December 1966
-
- Article
- Export citation
Robert Abernathy. The problem of linguistic equivalence. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence 1961, pp. 95–98.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 668
- Print publication:
- December 1966
-
- Article
- Export citation
Y. N. Moschovakis. Recursive metric spaces. Fundamenta mathematicae, vol. 55 (1964), pp. 215–238.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 651-652
- Print publication:
- December 1966
-
- Article
- Export citation
A. N. Prior. The theory of implication. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 1–6. - A. N. Prior. The theory of implication: two corrections. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 (1965), pp. 381–382. - Bolesław Sobociński. A note on Prior's systems in “The theory of deduction.”Notre Dame journal of formal logic, vol. 5 no. 2 (1964), pp. 139–140.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 665-666
- Print publication:
- December 1966
-
- Article
- Export citation
N. M. Nagornyj. Primer gruppy s nérékursivnym céntrom (Beispiel einer Gruppe mit nicht rekursivem Zentrum). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 (1958), pp. 304–308.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 653
- Print publication:
- December 1966
-
- Article
- Export citation
Hans Reichenbach. Elements of symbolic logic. Second, paper-bound, edition of XIV 50. The Free Press, New York, and Collier-Macmillan Limited, London, 1966, xiii + 444 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 675
- Print publication:
- December 1966
-
- Article
- Export citation
A. I. Mal′cév. O rékursivnyh abélévyh gruppah. Doklady Akadémii Nauk SSSR, vol. 146 (1962), pp. 1009–1012.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 649
- Print publication:
- December 1966
-
- Article
- Export citation
Richard Montague. Fraenkel's addition to the axioms of Zermelo. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem1961, and North-Holland Publishing Company, Amsterdam 1962, pp. 91–114.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 662
- Print publication:
- December 1966
-
- Article
- Export citation
On some Alleged Decision Procedures for S4
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 641-643
- Print publication:
- December 1966
-
- Article
- Export citation