Reviews
S. A. Cook and Hao Wang. Characterizations of ordinal numbers in set theory. Mathematische Annalen, vol. 164 (1966), pp. 1–25.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 113
-
- Article
- Export citation
F. J. Sansone. Combinatorial functions and regressive isols. Pacific journal of mathematics, vol. 13 (1963), pp. 703–707.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 113-114
-
- Article
- Export citation
F. J. Sansone. The summation of certain series of infinite regressive isols. Proceedings of the American Mathematical Society, vol. 16 no. 6 (for 1965, pub. 1966), pp. 1135–1140.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 114
-
- Article
- Export citation
Fred J. Sansone. A mapping of regressive isols. Illinois journal of mathematics, vol. 9 (1965), pp. 726–735.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 114
-
- Article
- Export citation
Fred J. Sansone. On order-preserving extensions to regressive isols. The Michigan mathematical journal, vol. 13 (1966), pp. 353–355.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 114
-
- Article
- Export citation
T. G. McLaughlin. Retraceable sets and recursive permutations. Proceedings of the American Mathematical Society, vol. 17 (1966), pp. 427–429.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 114
-
- Article
- Export citation
T. G. McLaughlin. Hereditarily retraceable isols. Bulletin of the American Mathematical Society, vol. 73 (1967), pp. 113–115.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 114-115
-
- Article
- Export citation
Yoshindo Suzuki. Enumeration of recursive sets. The journal of symbolic logic, vol. 24 no. 4 (for 1959, pub. 1961), p. 311.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 115
-
- Article
- Export citation
Ronald Harrop. On the recursivity of finite sets. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 136–140. - Jiří Hořejš. Note on definition of recursiveness. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 (1964), pp. 119–120.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 115
-
- Article
- Export citation
Tosiyuki Tugué. On predicates expressible in the 1-function quantifier forms in Kleene hierarchy with free variables of type 2. Proceedings of the Japan Academy, vol. 36 (1960), pp. 10–14. - Tosiyuki Tugué. Predicates recursive in a type-2 object and Kleene hierarchies. Commentarii mathematici Universitatis Sancti Pauli, vol. 8 (1960), pp. 97–117.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 115-116
-
- Article
- Export citation
J. R. Shoenfield. The form of the negation of a predicate. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence1962, pp. 131–134.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 116
-
- Article
- Export citation
Ann Yasuhara. A remark on Post normal systems. Journal of the Association for Computing Machinery, vol. 14 (1967), pp. 167–171.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 116-117
-
- Article
- Export citation
John McCarthy. Recursive functions of symbolic expressions and their computation by machine, part I. Communications of the Association for Computing Machinery, vol. 3 (1960), pp. 184–195.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 117
-
- Article
- Export citation
John McCarthy. A basis for a mathematical theory of computation, preliminary report. Proceedings of the Western Joint Computer Conference, Papers presented at the Joint IRE-AIEE-ACM Computer Conference, Los Angeles, Calif., May 9–11, 1961, Western Joint Computer Conference, 1961, pp. 225–238. - John McCarthy. A basis for a mathematical theory of computation. Computer programming and formal systems, edited by P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1963, pp. 33–70.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 117
-
- Article
- Export citation
E. W. Beth. Observations concerning computing, deduction, and heuristics. Computer programming and formal systems, edited by P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1963, pp. 21–32.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 118
-
- Article
- Export citation
A. Robinson. A basis for the mechanization of the theory of equations. Computer programming and formal systems, edited by P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1963, pp. 95–99. - A. Robinson. On the mechanization of the theory of equations. Bulletin of the Research Council of Israel, vol. 9F no. 2 (1960), pp. 47–70.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 118
-
- Article
- Export citation
B. A. Trahténbrot. T′úringovy vyčisléniá s logarifmičéskim zamédléniém (Turing computations with logarithmic delay). Algébra i logika, Séminar, vol. 3 no. 4 (1964), pp. 33–48.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 118-119
-
- Article
- Export citation
F. C. Hennie. One-tape, off-line Turing machine computations. Information and control, vol. 8 (1965), pp. 553–578.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 119-120
-
- Article
- Export citation
J. C. Shepherdson. Machine configuration and word problems of given degree of unsolvability. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 69–80. - J. C. Shepherdson. Machine configuration and word problems of given degree of unsolvability. Zeitschrift für mathematlsche Logik und Grundlagen der Mathematik, vol. 11 (1965), pp. 149–175.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 120-121
-
- Article
- Export citation
Frank B. Cannonito. Hierarchies of computable groups and the word problem. The journal of symbolic logic, vol. 31 (1966), pp. 376–392.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 121
-
- Article
- Export citation