13630 results in The Journal of Symbolic Logic
Grigore Constantin Moisil. Teoria algebrica dei meccanismi automatici. Conferenze del seminario di matematica dell'Università di Bari, no. 33–34. Nicola Zanichelli Editore, Bologna1957, 31 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 547
- Print publication:
- September 1971
-
- Article
- Export citation
Kurt Schütte. Vollständige Systeme modaler und intuitionistischer Logik. Ergebnisse der Mathematik und ihrer Grenzgebiete, no. 42. Springer-Verlag, Berlin-Heidelberg-New York1968, VII + 87 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 522
- Print publication:
- September 1971
-
- Article
- Export citation
G. É. Minc. Poditor térmoν ν kvantornyh pravilah konstruktiνnogo isčisléniá predikátov. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, I, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Matématičéskogo Instituta im. V. A. Stéklova AN SSSR (LOMI), vol. 4, Moscow1967, pp. 112–122. - G. E. Mints. Choice of terms in quantifier rules of constructive predicate calculus. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part I, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 4, Consultants Bureau, New York1969, pp. 43–46.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 525
- Print publication:
- September 1971
-
- Article
- Export citation
Nicholas Rescher. A version of the “master argument” of Diodorus. The journal of philosophy, vol. 63 (1966), pp. 438–445. - Herbert Guerry. Rescher's master argument. The journal of philosophy, vol. 64 (1967), pp. 310–312.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 518-519
- Print publication:
- September 1971
-
- Article
- Export citation
A. Heyting. Axiomatic method and intuitionism. 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. 237–247.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 522-523
- Print publication:
- September 1971
-
- Article
- Export citation
G. É. Minc. Dizúnktivnaá intérprétaciá isčisléniá LJ. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, II, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Ordéna Lénina Matématičéskogo Instituta im. V. A. Stéklova AN SSSR, vol. 8, Izdatél′stvo “Nauka,” Leningrad 1968, pp. 182–188. - G. E. Mints. Disjunctive interpretation of the LJ calculus. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part II, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 8, Consultants Bureau, New York-London1970, pp. 86–89.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 527-528
- Print publication:
- September 1971
-
- Article
- Export citation
On the notion of algebraic closedness for noncommutative groups and fields
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 441-444
- Print publication:
- September 1971
-
- Article
- Export citation
M. H. Löb. Solution of a problem of Leon Henkin. The journal of symbolic logic, vol. 20 (1955), pp. 115–118.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 528-529
- Print publication:
- September 1971
-
- Article
- Export citation
Lennart Åqvist. A binary primitive in deontic logic. Logique et analyse, n.s. vol. 5 (1962), pp. 90–97.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 519
- Print publication:
- September 1971
-
- Article
- Export citation
Claude E. Shannon. A universal Turing machine with two internal states. Automata studies, edited by C. E. Shannon and J. McCarthy, Annals of Mathematics studies no. 34, lithoprinted, Princeton University Press, Princeton1956, pp. 157–165.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 532
- Print publication:
- September 1971
-
- Article
- Export citation
Vladeta Vučković. On a class of regular sets. Notre Dame journal of formal logic, vol. 5 no. 2 (1964). pp. 113–124.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 550
- Print publication:
- September 1971
-
- Article
- Export citation
David Makinson. An alternative characterisation of first-degree entailment. Logique et analyse, n.s. vol. 8 (1965), pp. 308–311. (See Errata, ibid., vol. 9, p. 394.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 521
- Print publication:
- September 1971
-
- Article
- Export citation
J. C. E. Dekker. Closure properties of regressive functions. Proceedings of the London Mathematical Society, ser. 3 vol. 15 (1965), pp. 226–238.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 539
- Print publication:
- September 1971
-
- Article
- Export citation
A remark on infinitary languages
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 461-462
- Print publication:
- September 1971
-
- Article
- Export citation
Elementary embeddings and infinitary combinatorics
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 407-413
- Print publication:
- September 1971
-
- Article
- Export citation
Donald Loveland. A new interpretation of the von Mises' concept of random sequence. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 (1966), pp. 279–294. - D. W. Loveland. The Kleene hierarchy classification of recursively random sequences. Transactions of the American Mathematical Society, vol. 125 (1966), pp. 497–510.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 537-538
- Print publication:
- September 1971
-
- Article
- Export citation
L. Novak Gál. A note on direct products. The journal of symbolic logic, vol. 23 no. 1 (1958), pp. 1–6.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 541
- Print publication:
- September 1971
-
- Article
- Export citation
Karl S. Menger. Characterization and cardinality of universal functions. IEEE transactions on electronic computers, vol. EC-14 (1965), pp. 720–721.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 548-549
- Print publication:
- September 1971
-
- Article
- Export citation
Nuel D. BelnapJr., EQ and the first order functional calculus. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 6 (1960), pp. 217–218.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 520
- Print publication:
- September 1971
-
- Article
- Export citation
Rudolf Carnap. The logical structure of the world. Pseudoproblems in philosophy. English translation of XXXII 509(1) by Rolf A. George. University of California Press, Berkeley and Los Angeles1967, xxvi + 364 pp. - Rudolf Carnap. Preface to the second edition. English translation of XXXII 509(2). Therein, pp. v–xi. - Rudolf Carnap. Bibliography 1961. English translation of XXXII 509(3). Therein, pp. xiii–xiv. - Rolf A. George. Translator's preface. Therein, pp. xix–xx.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 551-552
- Print publication:
- September 1971
-
- Article
- Export citation