13630 results in The Journal of Symbolic Logic
K. A. Mihajlova. Probléma vhoždéniá dlá prámyh proizvédénij grupp (The occurrence problem for direct products of groups). Doklady Akadémii Nauk SSSR, vol. 119 (1958), pp. 1103–1105. - K. A. Mihajlova. Probléma vhoždéniá dlá prámyh proizvédénij grupp (The occurrence problem for direct products of groups). Matématičéskij sbornik, n.s. vol. 70 (1966), pp. 241–251.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 540-541
- Print publication:
- September 1971
-
- Article
- Export citation
Henry W. JohnstoneJr., The law of non-contradition. Logique et analyse, n.s. vol. 3 (1960), pp. 3–10.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 550-551
- Print publication:
- September 1971
-
- Article
- Export citation
Jean van Heijenoort. Preface. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 1–12. - Claude Chevalley and Albert Lautman. Notice biographique sur Jacques Herbrand. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 13–15. (Reprinted from Annuaire de l'Association Amicale de Secours des Anciens Élèves de l'École Normale Supérieure (1931), pp. 66–68.) - Claude Chevalley. Sur la pensée de Jacques Herbrand. A reprint of 5431 with omissions. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 17–20. - Jacques Herbrand. Sur la théorie de la démonstration. A reprint of 3821. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 21–23. - Jacques Herbrand. Non-contradiction des axiomes arithmétiques. A reprint of 3822. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 25–26. - Jacques Herbrand. Sur quelques propriétés des propositions vraies et leurs applications. A reprint of 3823. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 27–29. - Jacques Herbrand. Sur le problème fondamental des mathématiques. A reprint of 3824. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 31–33. - Jacques Herbrand. Recherches sur la théorie de la démonstration. A reprint of 3825. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 35–153. - Jacques Herbrand. Les bases de la logique hilbertienne. A reprint of 3826. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 155–166. - Jacques Herbrand. Sur le problème fondamental de la logique mathématique. A reprint of 3827. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 167–207. - Jacques Herbrand. Note non signée sur la thèse de Herbrand, écrite par Herbrand lui-même. A reprint, with new title, of 3827.1. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 209–214. - Jacques Herbrand. Notice pour Jacques Hadamard. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 215–219. - Jacques Herbrand. Sur la non-contradiction de l'arithmétique. A reprint of 3828. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 221–232.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 523-524
- Print publication:
- September 1971
-
- Article
- Export citation
Walter Oberschelp. Varianten von Turingmaschinen. Archiv für mathematische Logik und Grundlagenforschung, vol. 4 (1958), pp. 53–62.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 534
- Print publication:
- September 1971
-
- Article
- Export citation
O. B. Lupanov. On the realization of functions of logical algebra by formulae of finite classes (formulae of limited depth) in the basis &, ν, ¯. English translation of XXXVI 571(14) by G. R. Kiss. Problems of cybernetics, vol. 6(1965), pp. 1–14.
-
- 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
Donald J. Collins. Recursively enumerable degrees and the conjugacy problem. Acta mathematica, vol. 122 (1969), pp. 115–160.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 540
- Print publication:
- September 1971
-
- Article
- Export citation
Alan Rose. Formalisation du calcul propositionnel implicatif à m valeurs de Łukasiewicz. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, t. 243 (1956), p. 1263–1264.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 546
- Print publication:
- September 1971
-
- Article
- Export citation
G. E. Hughes. The independence of axioms in the propositional calculus. The Australasian journal of philosophy, vol. 35 (1957), pp. 21–29.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 546
- Print publication:
- September 1971
-
- Article
- Export citation
Existence and feasibility in arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 494-508
- Print publication:
- September 1971
-
- Article
- Export citation
Dieter Klaua. Berechenbare Analysis. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 (1956), pp. 265–303. - Dieter Klaua. Die Prāzisierung des Berechenbarkeitsbegriffes in der-Analysis mit Hilfe rationaler Funktionale. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 (1959), pp. 33–96.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 535-536
- Print publication:
- September 1971
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic Los Angeles 1971
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 581-592
- Print publication:
- September 1971
-
- Article
- Export citation
Karl Döhmann. Zur Charakteristik der Kontingenz. Atti del XII Congresso Internazionale di Filosofia (Venezia, 12–18 Settembre 1958), Volume quinto, Lògica, gnoseologia, filosofia della scienze, filosofia del linguaggio, Sansoni Editore, Florence1960, pp. 137–141.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 523
- Print publication:
- September 1971
-
- Article
- Export citation
Jiří Bečvář. A universal Turing machine with a programming tape. Colloquium on the Foundations of Mathematics, Mathematical Machines and Their Applications, Tihany, 11–15 September 1962, edited by László Kalmár, Akadémiai Kiadó, Budapest 1965, pp. 11–20.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 535
- Print publication:
- September 1971
-
- Article
- Export citation
Robert K. Meyer and J. Michael Dunn. E, R and γ. The journal of symbolic logic, vol. 34 (1969), pp. 460–474.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 521-522
- Print publication:
- September 1971
-
- Article
- Export citation
A. R. Anderson and N. D. BelnapJr., First degree entailments. Mathematische Annalen, vol. 149 (1963), pp. 302–319.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 520-521
- Print publication:
- September 1971
-
- Article
- Export citation
Hans Hermes. La teoría de retículos y su aplicación a la lógica matemática. Conferencias de Matemática V, Publicaciónes del Seminario Matemático de Zaragoza, Madrid1963, 57 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 545-546
- Print publication:
- September 1971
-
- Article
- Export citation
C. Y. Lee. Automata and finite automata. The Bell System technical journal, vol. 39 (1960), pp. 1267–1295.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 534-535
- Print publication:
- September 1971
-
- Article
- Export citation
G. Kreisel and A. Lévy. Reflection principles and their use for establishing the complexity of axiomatic systems. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 14 (1968), pp. 97–142.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 529-532
- Print publication:
- September 1971
-
- Article
- Export citation
K. Wiśniewski. Zamétka ob aksiomé vybora dlá konéčnyh množéstv (Remark on the axiom of choice for finite sets). Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 15 (1967), pp. 373–375.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 543
- Print publication:
- September 1971
-
- Article
- Export citation
Vito F. Sinisi. Arbitrarily selected individuals in natural deduction. Analysis (Oxford), vol. 23 (1963), pp. 88–90.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 528
- Print publication:
- September 1971
-
- Article
- Export citation