13629 results in The Journal of Symbolic Logic
Wesley C. Salmon. Logic. Foundations of philosophy series. Prentice-Hall, Inc., Englewood Cliffs, N. J., 1963, xiv + 114 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 89-90
- Print publication:
- June 1964
-
- Article
- Export citation
Joan B. Ogden and Henry B. Veatch. Putting the square back into opposition. The new Scholasticism, vol. 30 (1956), pp. 409–440.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 111
- Print publication:
- June 1964
-
- Article
- Export citation
Ivan Boh. A study in Burleigh: Tractatus de regulis generalibus consequentiarum. Notre Dame journal of formal logic, vol. 3 (1962), pp. 83–101.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 91-92
- Print publication:
- June 1964
-
- Article
- Export citation
B. A. Trahténbrot. Nékotoryé postroéniá v logiké odnoméstnyh. prédikatov (Certain constructions in the logic of one-place predicates). Doklady Akadémii Nauk SSSR vol. 138 (1961), pp. 320–321.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 100
- Print publication:
- June 1964
-
- Article
- Export citation
Hao Wang. Ackermann's consistency proof. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 362–375.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 106
- Print publication:
- June 1964
-
- Article
- Export citation
Tadeusz Gierymski and Michael P. Slattery. Is the square back in opposition?Philosophical studies (Maynooth), vol. 7 (1957), pp. 123–130.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 111-112
- Print publication:
- June 1964
-
- Article
- Export citation
JSL volume 29 issue 2 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- June 1964
-
- Article
-
- You have access
- Export citation
Burton Dreben, A. S. Kahr, and Hao Wang. Classification of AEA formulas by letter atoms. Bulletin of the American Mathematical Society, vol. 68 (1962), pp. 528–532.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 101
- Print publication:
- June 1964
-
- Article
- Export citation
J. P. Cleave. Creative functions. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 205–212.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 102-103
- Print publication:
- June 1964
-
- Article
- Export citation
H. A. Pogorzelski. Recursive arithmetic of Skolem. Mathematica Scandinavica, vol. 11 (1962), pp. 33–36. - H. A. Pogorzelski. Recursive arithmetic of Skolem II. Mathematica Scandinavica, vol. 11 (1962), pp. 156–160.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 101-102
- Print publication:
- June 1964
-
- Article
- Export citation
S. C. Kleene. Lambda-definable functional of finite types. Fundamenta mathematicae, vol. 50 no. 3 (1962), pp. 281–303.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 104-105
- Print publication:
- June 1964
-
- Article
- Export citation
B. A. Trahténbrot. Konéčnyé avtomaty i logika odnoméstnyh predikátov (Finite automata and the logic of singulary predicates). Sibirskij tnatématičéskij žurnal, vol. 3 (1962), pp. 103–131.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 98-100
- Print publication:
- June 1964
-
- Article
- Export citation
N. É. Kobrinskij and B. A. Trahténbrot. Vvédénié v téoriú konéčnyh avtomatov (Introduction to the theory of finite automata). Gosudarstvénnoé Izdatél'stvo Fiziko-matématičéskoj Litératury, Moscow1962, 404 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 97-98
- Print publication:
- June 1964
-
- Article
- Export citation
Toshio Nishimura. On Gödel's theorem. Journal of the Mathematical Society of Japan, vol. 13 (1961), pp. 1–12.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 106-107
- Print publication:
- June 1964
-
- Article
- Export citation
R. O. Gandy. Proof of Mostowski's conjecture. Bulletin de l′Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 8 (1960), pp. 571–575.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 103-104
- Print publication:
- June 1964
-
- Article
- Export citation
E. S. Orlovskij. Nékotoryé voprosy témorii algorifmov (Some questions in the theory of algorithms). Problémy konstruktivnogo napravléniá v matématiké, 1, Sbornik rabot, edited by N. A. Šanin, Trudy Matématičéskogo Instituta imèni V. A. Stéklova, vol. 52, Izdatél′stvo Akadémii Nauk SSSR, Moscow and Leningrad1958, pp. 140–171.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 108-109
- Print publication:
- June 1964
-
- Article
- Export citation
Notice of a meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 113
- Print publication:
- June 1964
-
- Article
- Export citation
Gonzalo Zubieta Russi. Algunos teoremas en la teoría de la cuantificación elemental. Memoria del Congreso Cientifico Mexicano, I Ciencias fisicas y matemáticas. Universidad Nacional Autónoma de México, Mexico1953, pp. 100–108.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 1 / March 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 56
- Print publication:
- March 1964
-
- Article
- Export citation
N. M. Nagornyj. O razyskanii izomorfizmov associativnyh isčislénij (Über das Aufsuchen von Isomorphismen assoziativer Kalküle). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 6 (1960), pp. 319–324.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 1 / March 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 57
- Print publication:
- March 1964
-
- Article
- Export citation
Abraham Robinson. Introduction to model theory and to the metamathematics of algebra. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1963, IX + 284 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 1 / March 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 56
- Print publication:
- March 1964
-
- Article
- Export citation