13629 results in The Journal of Symbolic Logic
Thomas S. Knight. Questions and universals. Philosophy and phenomenological research, vol. 27 no. 4 (1967), pp. 564–576.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 612-613
- Print publication:
- January 1969
-
- Article
- Export citation
Uniform Gentzen systems
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 549-559
- Print publication:
- January 1969
-
- Article
- Export citation
Evert W. Beth. The foundations of mathematics. A study in the philosophy of science. Second, revised, edition of XXVII 73. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1965, xxviii + 741 pp. - Evert W. Beth. The foundations of mathematics. A study in the philosophy of science. A paper-bound reprint of the foregoing. Harper & Row, New York1966, xxviii + 741 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 618
- Print publication:
- January 1969
-
- Article
- Export citation
JSL volume 33 issue 4 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f6
- Print publication:
- January 1969
-
- Article
-
- You have access
- Export citation
Seiiti Huzino. Simulatability of finite automata by Schepherdson and Sturgis' machines. Memoirs of the Faculty of Science, Kyushu University, Series A Mathematics, Bd. 20 (1966), S. 1–15. - Seiiti Huzino. On the simulation of real-time Turing machines by a modified Schepherdson-Sturgis' machine. Memoirs of the Faculty of Science, Kyushu University, Series A Mathematics, Bd. 20 (1966), S. 16–26.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 628-629
- Print publication:
- January 1969
-
- Article
- Export citation
Uniformly introreducible sets1
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 521-536
- Print publication:
- January 1969
-
- Article
- Export citation
L. A. Bokut′. O gruppah Novikova (On the Novikov groups). Algébra i logika, Séminar, vol. 6 no. 1 (1967), pp. 25–38.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 623-624
- Print publication:
- January 1969
-
- Article
- Export citation
L. L. Maksimova. Nékotoryé voprosy isčisléniá Akkérmana. Doklady Akademii Nauk SSSR, vol. 175 (1967), pp. 1222–1224. - L. L. Maksimova. Some problems of the Ackermann calculus. English translation of the preceding by A. Yablonsky. Soviet mathematics, vol. 8 no. 4 (1967), pp. 997–999.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 608-610
- Print publication:
- January 1969
-
- Article
- Export citation
Analytic cut
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 560-564
- Print publication:
- January 1969
-
- Article
- Export citation
S. S. Barlinoay. A modern introduction to indian logic. National Publishing House. Delhi1965, xv + 238 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 603-604
- Print publication:
- January 1969
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 632-635
- Print publication:
- January 1969
-
- Article
- Export citation
J. R. Shoenfield. Degrees of models. The journal of symbolic logic, vol. 25 no. 3 (for 1960, pub. 1962), pp. 233–237.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 623
- Print publication:
- January 1969
-
- Article
- Export citation
A. Nerode. Non-linear combinatorial functions of isols. Mathematische Zeitschrift, vol. 86 no. 5 (1965), pp. 410–424.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 619
- Print publication:
- January 1969
-
- Article
- Export citation
Ph. Dwinger. On the completeness of the quotient algebras of a complete Boolean algebra I. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 61 (1958), pp. 448–456; also Indagationes mathematicae, vol. 20 (1958), pp. 448–456.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 625
- Print publication:
- January 1969
-
- Article
- Export citation
Lars Bergström. En del om ‘pragmatisk Implikation’ och likartade begrepp (Something on 'pragmatic implication' and similar concepts). Sju filosofiska studier tillägnade Anders Wedberg, mimeographed, Filosofiska studier utgivna av Filosofiska Institutionen vid Stockholms Universitet, no. 9, Stockholm1963, pp. 60–78.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 605-606
- Print publication:
- January 1969
-
- Article
- Export citation
V. M. Gluškov. Nékotoryé problémy sintéza cifrovyh automatov (Some problems of synthesis of digital automata). Žurnal vycislitél′ noj matématiki i matématičéskoj fiziki, vol. 1 (1961), pp. 371–411. - V. M. GlušSkov. Ob odnom algoritmé sintéza abstraktnyh avtomatov (On algorithm of synthesis of abstract automata). Ukrainskij matématićéskij žurnal, vol. 12 (1960), pp. 147–156.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 629
- Print publication:
- January 1969
-
- Article
- Export citation
George Goe. Three axiom negation-alternation formulations of the truth-functional calculus. Notre Dame journal of formal logic, t. 5 n° 2 (1964), p. 129–132.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 606
- Print publication:
- January 1969
-
- Article
- Export citation
K. I. Appel. No recursively enumerable set is the union of finitely many immune retraceable sets. Proceedings of the American Mathematical Society, vol. 18 (1967). pp. 279–281.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 621
- Print publication:
- January 1969
-
- Article
- Export citation
M. Hanazawa. A characterization of axiom schema playing the rôle of tertium non datur ir intuitionistic logic. Proceedings of the Japan Academy, vol. 42 (1966), pp. 1007–1010.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 607-608
- Print publication:
- January 1969
-
- Article
- Export citation
Raymond M. Smullyan, On Post 's canonical systems. The journal of symbolic logic, vol. 27 no. 1 (for 1962, pub. 1963), pp. 55–57.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 623
- Print publication:
- January 1969
-
- Article
- Export citation