Contents
Reviews
A. I. Mal′cév. Sirogo rodstvénnyé modéli i rékursivno sovéršénnyé algebry. Doklady Akadémii Nauk SSSR, vol. 145 (1962), pp. 276–279. - A. I. Mal′cév. Strongly related models and recursively complete algebras. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 3 no. 4 (1962), pp. 987–991.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 649-650
-
- Article
- Export citation
Yiannis N. Moschovakis. Notation systems and recursive ordered fields. Compositio mathematica, vol. 17 no. 1 (1965), pp. 40–71.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 650-651
-
- Article
- Export citation
Y. N. Moschovakis. Recursive metric spaces. Fundamenta mathematicae, vol. 55 (1964), pp. 215–238.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 651-652
-
- Article
- Export citation
J. C. E. Dekker. Infinite series of isols. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 77–96.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 652
-
- Article
- Export citation
J. C. E. Dekker. An infinite product of isols. Illinois journal of mathematics, vol. 7 (1963), pp. 668–680.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 652
-
- Article
- Export citation
Erik Ellentuck. Infinite products of isols. Pacific journal of mathematics, vol. 14 (1964), pp. 49–52.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 652-653
-
- Article
- Export citation
A. A. Markov. K problémé prédstavimosti matric (Zum Problem der Darstellbarkeit von Matrizen). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 (1958), pp. 157–168.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 653
-
- Article
- Export citation
N. M. Nagornyj. Primer gruppy s nérékursivnym céntrom (Beispiel einer Gruppe mit nicht rekursivem Zentrum). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 (1958), pp. 304–308.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 653
-
- Article
- Export citation
Alan Cobham. Effectively decidable theories. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 391–395.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 653
-
- Article
- Export citation
A. H. Lachlan. Effective operations in a general setting. The journal of symbolic logic, vol. 29 no. 4 (for 1964, pub. 1965), pp. 163–178.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 654
-
- Article
- Export citation
Robert W. Ritchie. Classes of recursive functions based on Ackermann's function. Pacific journal of mathematics, vol. 15 (1965), pp. 1027–1044.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 654
-
- Article
- Export citation
Marvin L. Minsky. Recursive unsolvability of Post's problem of “Tag” and other topics in the theory of Turing machines. Annals of mathematics, second series, vol. 74 (1961), pp. 437–455.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 654-655
-
- Article
- Export citation
M. L. Minsky. Size and structure of universal Turing machines using Tag systems. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 229–238.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 655
-
- Article
- Export citation
V. S. Čérnávskij. Ob obratimosti algorifmov (On the reversibility of algorithms). Trudy Moskovskogo Matématičéskogo Obščéstva, vol. 9 (1960), pp. 425–453.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 655-656
-
- Article
- Export citation
Hisao Yamada. Real-time computation and recursive functions not real-time computable. IRE transactions on electronic computers, vol. EC-11 (1962), pp. 753–760.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 656-657
-
- Article
- Export citation
Michael O. Rabin. Real time computation. Israel journal of mathematics, vol. 1 (1963), pp. 203–211.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 657
-
- Article
- Export citation
W. V. Quine. A proof procedure for quantification theory. The journal of symbolic logic, vol. 20 (1955), pp. 141–149.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 657
-
- Article
- Export citation
Burton Dreben, Peter Andrews, and Stål Aanderaa. False lemmas in Herbrand. Bulletin of the American Mathematical Society, vol. 69 (1963), pp. 699–706.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 657-659
-
- Article
- Export citation
Shôji Maehara. Another proof of Takeuti's theorems on Skolem's paradox. Journal of the Faculty of Science, University of Tokyo, section I, vol. 7 part 5 (1958), pp. 541–556.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 659
-
- Article
- Export citation
Shôji Maehara. Remark on Skolem's theorem concerning the impossibility of characterization of the natural number sequence. Proceedings of the Japan Academy, vol. 33 (1957), pp. 588–590.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 659
-
- Article
- Export citation