Contents
Reviews
Michael Morley. Partitions and models. Proceedings of the summer school in logic, Leeds, 1967, edited by M. H. Löb, Lecture notes in mathematics, no. 70, Springer-Verlag, Berlin, Heidelberg, and New York, 1968, pp. 109–158.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 182-183
-
- Article
- Export citation
Per Lindström. On extensions of elementary logic. Theoria (Lund), vol. 35 (1969), pp. 1–11.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 183
-
- Article
- Export citation
Kirby A. Baker. Equational axioms for classes of lattices. Bulletin of the American Mathematical Society, vol. 77 (1971), pp. 97–102.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 184
-
- Article
- Export citation
Vlad Boicescu. Sur les algèbres de Lukasiewicz. Logique, automatique, informatique, edited by Gr.C. Moisil, Éditions de l'Académie de la République Socialiste de Roumanie, Bucharest1971, pp. 71–89. - Mihail Cherciu. Filtres de Stone dans les treillis distributifs. Logique, automatique, informatique, edited by Gr.C. Moisil, Éditions de l'Académie de la République Socialiste de Roumanie, Bucharest1971, pp. 91–97. - George Georgescu. Les algèbres de Lukasiewicz θ-valentes. Logique, automatique, informatique, edited by Gr.C. Moisil, Éditions de l'Académie de la République Socialiste de Roumanie, Bucharest1971, pp. 99–169. - Ioana Petrescu. Algèbres de Morgan injectives. Logique, automatique, informatique, edited by Gr.C. Moisil, Éditions de l'Académie de la République Socialiste de Roumanie, Bucharest1971, pp. 171–176. - Luminita State. Quelques propriétés des algebres de Morgan. Logique, automatique, informatique, edited by Gr.C. Moisil, Éditions de l'Académie de la République Socialiste de Roumanie, Bucharest1971, pp. 195–207.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 184
-
- Article
- Export citation
William W. Boone. Word problems and recursively enumerable degrees of unsolvability. An emendation. Annals of mathematics, ser. 2 vol. 94 (1971), pp. 389–391. - Donald J. Collins. Truth-table degrees and the Boone groups. Annals of mathematics, ser. 2 vol. 94 (1971),pp. 392–396.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 184-185
-
- Article
- Export citation
Dennis F. Cudia and Wilson E. Singletary. The Post correspondence problem. The journal of symbolic logic, vol. 33 (1968), pp. 418–430. - Dennis F. Cudia and Wilson E. Singletary. Degrees of unsolvability in formal grammars. Journal of the Association for Computing Machinery, vol. 15 (1968), pp. 680–692.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 185-186
-
- Article
- Export citation
Kurt Schütte. Ein konstruktives System von Ordinalzahlen. Archiv für mathematische Logik und Grundlagenforschung, vol. 11 (1968), pp. 126–137, and vol. 12 (1969), pp. 3–11. - Helmut Pfeiffer. Ein Bezeichnungssystem für Ordinalzahlen. Archiv für mathematische Logik und Grundlagenforschung vol. 12 (1969), pp. 12–17.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 186
-
- Article
- Export citation
Louise Hay. On creative sets and indices of partial recursive functions. Transactions of the American Mathematical Society, vol. 120 no. 2 (for 1965, pub. 1966), pp. 359–367. - Louise Hay. Isomorphism types of index sets of partial recursive functions. Proceedings of the American Mathematical Society, vol. 17 (1966), pp. 106–110. - Louise Hay. Index sets of finite classes of recursively enumerable sets. The journal of symbolic logic, vol. 34 (1969), pp. 39–44.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 186-187
-
- Article
- Export citation
S. Ú. Maslov. Ponátié strogoj prédstavimosti v obščej téorii isčislénij (The concept of strong representability in the general theory of calculi). Problémy konstruktivnogo napravléniá v matématiké, 4, Sbornik rabot, edited by V. P. Orévkov and N. A. Šanin, Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 93, Izdatél'stvo “Nauka,” Leningrad1967, pp. 3–42.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 187-188
-
- Article
- Export citation
S. Ú. Maslov. Prédstavlénié péréčislimyh množéstv lokal'nymi isčisléniámi (Representation of enumerable sets by means of local calculi). Problémy konstruktivnogo napravléniá v matématiké, 4, Sbornik rabot, edited by V. P. Orévkov and N. A. Šanin, Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 93, Izdatél'stvo “Nauka,” Leningrad1967, pp. 43–49.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 188
-
- Article
- Export citation
Oscar H. Ibarra. Characterizations of some tape and time complexity classes of Turing machines in terms of multihead and auxiliary stack automata. Journal of computer and system sciences, vol. 5 (1971), pp. 88-117.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 188-189
-
- Article
- Export citation
J. A. Robinson. Automatic deduction with hyper-resolution. International journal of computer mathematics, vol. 1 no. 3 (1965), pp. 227–234.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 189-190
-
- Article
- Export citation
J. A. Robinson. A review of automatic theorem-proving. Mathematical aspects of computer science, Proceedings of symposia in applied mathematics, vol. 19, American Mathematical Society, Providence1967, pp. 1–18.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 190
-
- Article
- Export citation
Other
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 190-194
-
- Article
- Export citation
Meeting Report
Meeting of the Association for Symbolic Logic, Seattle 1973
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 195-203
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, Hamilton, New Zealand, 1973
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 204-208
-
- Article
- Export citation
Other
Notice of a meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 203
-
- Article
- Export citation
Front matter
JSL volume 39 issue 1 Cover and Front matter and Errata
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f8
-
- Article
-
- You have access
- Export citation
Back matter
JSL volume 39 issue 1 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
-
- Article
-
- You have access
- Export citation