Contents
Reviews
G. S. Céjtin. Odin sposob izložéniá téorii algorifmov i péréčislimyh množéstv (Eine Darstellungsweise der Theorie der Algorithmen und der rekursiv aufzählbaren Mengen). Problémy konstruktivnogo napravléniá v matématiké, 3, Sbornik rabot, hrsg. von N. A. Šanin, Trudy Matématičéskogo Instituta iméni V. A. Stéklova, Heft 72, Izdatél′stvo “Nauka,” Moskau und Leningrad1964, S. 69–98.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 478-479
-
- Article
- Export citation
Paul Axt. Iteration of primitive recursion. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 (1965), pp. 253–255.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 479
-
- Article
- Export citation
Paul Axt. Iteration of relative primitive recursion. Mathematische Annalen, vol. 167 (1966), pp. 53–55.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 480
-
- Article
- Export citation
Helmut Schwichtenberg. Rekursionszahlen und die Grzegorczyk-Hierarchie. Archiv für mathematische Logik und Grundlagenforschung, vol. 12 (1969), pp. 85–97.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 480
-
- Article
- Export citation
Paul Axt. Relativization of a primitive recursive hierarchy. Mathematische Annalen, vol. 152 (1963), pp. 159–163.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 480
-
- Article
- Export citation
Michael Anderson. Approximation to a decision procedure for the halting problem. Notre Dame journal of formal logic, vol. 9 no. 4 (for 1968, pub. 1969), pp. 305–312.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 480
-
- Article
- Export citation
M. L. Minsky. Some universal elements for finite automata. Automata studies, edited by C. E. Shannon and J. McCarthy, Annals of Mathematics studies no. 34, lithoprinted, Princeton University Press, Princeton1956, pp. 117–128.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 480-481
-
- Article
- Export citation
John McCarthy. The inversion of functions defined by Turing machines. Automata studies, edited by C. E. Shannon and J. McCarthy, Annals of Mathematics studies no. 34, lithoprinted, Princeton University Press, Princeton1956, pp. 177–181.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 481
-
- Article
- Export citation
K. de Leeuw, E. F. Moore, C. E. Shannon, and N. Shapiro. Computability by probabilistic machines. Automata studies, edited by C. E. Shannon and J. McCarthy, Annals of Mathematics studies no. 34, lithoprinted, Princeton University Press, Princeton1956, pp. 183–212.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 481-482
-
- Article
- Export citation
Michael Arbib. Turing machines, finite automata and neural nets. Journal of the Association for Computing Machinery, vol. 8 (1961), pp. 467–475.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 482
-
- Article
- Export citation
Michael A. Arbib. Brains, machines, and mathematics. McGraw-Hill Book Company, New York, San Francisco, Toronto, and London, 1964, xiv + 152 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 482-483
-
- Article
- Export citation
E. J. McCluskeyJr., and H. Schorr. Essential multiple-output prime implicants. Proceedings of the Symposium on Mathematical Theory of Automata, New York, N.Y., April 24, 25, 26, 1962, Microwave Research Institute Symposia series vol. 12, Polytechnic Press of the Polytechnic Institute of Brooklyn, Brooklyn, N.Y., 1963, pp. 437–457.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 483
-
- Article
- Export citation
Robert Faure with the collaboration of Nicole-Sylvie Guillot LeGarff and Manue Bloch. Eléments de la recherche opérationnelle. Exposé succinct des méthodes, enrichi de 50 exercices et problèmes, presque tous résolus, et de 10 programmes en langage symbolique. Gauthier-Villars, Paris1968, 317 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 483
-
- Article
- Export citation
Takakazu Simauti. Mechanization of mathematics. Electronics and communications in Japan, vol. 46 no. 11 (1963), pp. 64–70.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 484
-
- Article
- Export citation
Layman E. Allen, Robin B. S. Brooks, James W. Dickoff, and Patricia A. James. The ALL project (accelerated learning of logic). The American mathematical monthly, vol. 68 (1961), pp. 497–500.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 484
-
- Article
- Export citation
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 484-489
-
- Article
- Export citation
Announcing Philosophia, an Israeli journal of Philosophy
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 490
-
- Article
- Export citation
Notice of a meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 490
-
- Article
- Export citation
Announcing travel grants for information processing scientists and computer specialists
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 490
-
- Article
- Export citation
Fellowship and research opportunities in the mathematical sciences
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 490-491
-
- Article
- Export citation