Contents
Reviews
M. H. Löb. Solution of a problem of Leon Henkin. The journal of symbolic logic, vol. 20 (1955), pp. 115–118.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 528-529
-
- 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.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 529-532
-
- 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.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 532
-
- Article
- Export citation
Patrick C. Fischer. On formalisms for Turing machines. Journal of the Association for Computing Machinery, vol. 12 (1965), pp. 570–580. - Stål Aanderaa and Patrick C. Fischer. The solvability of the halting problem for 2-state Post machines. Journal of the Association for Computing Machinery, vol. 14 (1967), pp. 677–682. - Patrick C. Fischer. Quantificational variants on the halting problem for Turing machines. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 15 (1969), pp. 211–218.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 532-534
-
- Article
- Export citation
Walter Oberschelp. Varianten von Turingmaschinen. Archiv für mathematische Logik und Grundlagenforschung, vol. 4 (1958), pp. 53–62.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 534
-
- Article
- Export citation
G. P. Zykin. Zaméčanié ob odnoj téorémé Hao Vana (Comment on a theorem of Hao Wang). Algébra i logika, Séminar, vol. 2 no. 1 (1963), pp. 33–35.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 534
-
- Article
- Export citation
C. Y. Lee. Automata and finite automata. The Bell System technical journal, vol. 39 (1960), pp. 1267–1295.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 534-535
-
- 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.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 535
-
- 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.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 535-536
-
- Article
- Export citation
Daniel Lacombe. Deux généralisations de la notion de récursivité. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, t. 258 (1964), p. 3141–3143. - Daniel Lacombe. Deux généralisations de la notion de récursivité relative. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, t. 258 (1964), p. 3410–3413.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 536-537
-
- 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.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 537-538
-
- Article
- Export citation
Charles Parsons. Hierarchies of primitive recursive functions. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 14 (1968), pp. 357–376.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 538-539
-
- 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.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 539
-
- Article
- Export citation
A. H. Lachlan. The impossibility of finding relative complements for recursively enumerable degrees. The journal of symbolic logic, vol. 31 (1966), pp. 434–454.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 539-540
-
- Article
- Export citation
S. I. Adán. Problema algoritma (Problem of algorithm). Nauka i žizn′, no. 8 (1957), pp. 13–14.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 540
-
- Article
- Export citation
Donald J. Collins. Recursively enumerable degrees and the conjugacy problem. Acta mathematica, vol. 122 (1969), pp. 115–160.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 540
-
- Article
- Export citation
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.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 540-541
-
- Article
- Export citation
B. H. Mayoh. Groups and semigroups with solvable word problems. Proceedings of the American Mathematical Society, vol. 18 (1967), pp. 1038–1039.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 541
-
- 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.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 541
-
- Article
- Export citation
W. A. J. Luxemburg. A general theory of monads. Applications of model theory to algebra, analysis, and probability, edited by W. A. J. Luxemburg, Holt, Rinehart and Winston, New York, Chicago, San Francisco, Atlanta, Dallas, Montreal, Toronto, London, and Sidney, 1969, pp. 18–86.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 541-542
-
- Article
- Export citation