13629 results in The Journal of Symbolic Logic
Degrees of recursively enumerable sets which have no maximal supersets
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 431-443
- Print publication:
- 10 October 1968
-
- Article
- Export citation
Carol Karp. Nonaxiomatizability results for infinitary systems. The journal of symbolic logic, vol. 32 (1967), pp. 367–384.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 478-479
- Print publication:
- 10 October 1968
-
- Article
- Export citation
Implicit definability and infinitary languages1
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 446-451
- Print publication:
- 10 October 1968
-
- Article
- Export citation
A survey of proof theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 321-388
- Print publication:
- 10 October 1968
-
- Article
- Export citation
Jean Porte. Quelques pseudo-paradoxes de la “calculabilité effective.”2e Congrès Internationale de Cybernétique, Namur, 3–10 Septembre 1958, Actes, Association Internationale de Cybernétique, Namur1960, pp. 332–334. - László Kalmár. An argument against the plausibility of Church's thesis. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by A. Heyting, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 72–80. - Rózsa Peter. Rekursivität und Konstruktivität. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by A. Heyting, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 226–233. - Elliott Mendelson. On some recent criticism of Church's thesis. Notre Dame journal of formal logic, vol. 4 no. 3 (1963), pp. 201–205.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 471-472
- Print publication:
- 10 October 1968
-
- Article
- Export citation
Petr Hájek. Modelle der Mengenlehre, in denen Mengen gegebener Gestalt existieren. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 (1965), pp. 103–115.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 474-475
- Print publication:
- 10 October 1968
-
- Article
- Export citation
N. V. Bélákin. Mašiny T′uringa, rabotaúščié na ploskosti. Doklady Akadémii Nauk SSSR, vol. 168 (1966), pp. 502–503. - N. V. Beljakin. Turing machines operating on a plane. English translation of the preceding by L. Ebner. Soviet mathematics, vol. 7 no. 3 (1966), pp. 661–662.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 469
- Print publication:
- 10 October 1968
-
- Article
- Export citation
Fred Galvin. Reduced products, Horn sentences, and decision problems. Bulletin of the American Mathematical Society, vol. 73 (1967), pp. 59–64.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 477
- Print publication:
- 10 October 1968
-
- Article
- Export citation
R. L. Vaught. A Löwenheim-Skolem theorem for cardinals far apart. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 390–401.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 476-477
- Print publication:
- 10 October 1968
-
- Article
- Export citation
Chr. Klixbüll Jørgensen. The extensional classification of categorical propositions and trivalent logic. Logique et analyse, n.s. vol. 10 (1967), pp. 141–156.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 483
- Print publication:
- 10 October 1968
-
- Article
- Export citation
Petr Vopěnka. Postroénié modeléj téorii mnozéstv métodom ul'traproizvédéniá (Die Konstruktion von Modellen der Mengenlehre nach der Methode der Ultraprodukte). Zeitschrift für mathematische Logik und Grundtagen der Mathematik, vol. 8 (1962), pp. 293–304.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 475-476
- Print publication:
- 10 October 1968
-
- Article
- Export citation
Seymour Ginsburg and Gene F. Rose. A characterization of machine mappings. Canadian journal of mathematics (Journal canadien de mathématiques), vol. 18 (1966), pp. 381–388.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 468
- Print publication:
- 10 October 1968
-
- Article
- Export citation
JSL volume 33 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f6
- Print publication:
- 10 October 1968
-
- Article
-
- You have access
- Export citation
A. P. Éršov. Opératornyé algorifmy. II. (Opisanié osnovnyh konstrukcij programmirovaniá.)Problémy kibérnétiki, vol. 8 (1962), pp. 211–233. - A. P. Jerschow. Operator-Algorithmen. II. (Beschreibung der Grundzüge der Programmierung.) German translation of the preceding by Heinz D. Modrow. Probleme der Kybernetik, vol. 8 (1965), pp. 208–232.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 467
- Print publication:
- 10 October 1968
-
- Article
- Export citation
Dieter Rödding. Anzahlquantoren in der Kleene-Hierarchie.Archiv für mathematische Logik und Grundlagenforschung, vol. 9 no. 3–4 (1966), pp. 61–65.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 472-473
- Print publication:
- 10 October 1968
-
- Article
- Export citation
Errata
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. v
- Print publication:
- 10 October 1968
-
- Article
-
- You have access
- Export citation
Pierre Tison. Generalization of consensus theory and application to the minimization of Boolean functions. IEEE transactions on electronic computers, vol. EC-16 (1967), pp. 446–456.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 468
- Print publication:
- 10 October 1968
-
- Article
- Export citation
Azriel Lévy. A hierarchy of formulas in set theory. Memoirs of the American Mathematical Society, no. 57. American Mathematical Society, Providence 1965, 76 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 473-474
- Print publication:
- 10 October 1968
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 490-496
- Print publication:
- 10 October 1968
-
- Article
- Export citation
Lemmon-style bases for the systems S1°-S4°
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 458-461
- Print publication:
- 10 October 1968
-
- Article
- Export citation