Contents
Reviews
Gerald E. Sacks. Recursion in objects of finite type. Actes du Congrès International des Mathématiciens 1970, Gauthier-Villars, Paris 1971, Vol. 1, pp. 251–254.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 343-344
-
- Article
- Export citation
Joseph Horovitz. Law and logic. A critical account of legal argument. Library of Exact Philosophy no. 8, Springer-Verlag, New York and Vienna1972, XVI + 214 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 619-623
-
- 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
C. E. M. Yates. On the degrees of index sets. Transactions of the American Mathematical Society, vol. 121 (1966), pp. 309–328.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 344
-
- Article
- Export citation
Other
Notice of the second international conference on computers and the humanities
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 624
-
- Article
- Export citation
Reviews
C. E. M. Yates. On the degrees of index sets. II. Transactions of the American Mathematical Society, vol. 135 (1969), pp. 249–266.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 344
-
- Article
- Export citation
Other
1975 international symposium on multiple-valued logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 624
-
- Article
- Export citation
Reviews
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
Hisao Tanaka. On limits of sequences of hyperarithmetical functionals and predicates. Commentarii mathematici Universitatis Sancti Pauli, vol. 14 no. 2 (1966), pp. 105–121. - Tosiyuki Tugué and Hisao Tanaka. A note on the effective descriptive set theory. Commentarii mathematici Universitatis Sancti Pauli, vol. 15 no. 1 (1966), pp. 19–28.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 344-345
-
- Article
- Export citation
Front matter
JSL volume 39 issue 3 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Back matter
JSL volume 39 issue 3 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
-
- Article
-
- You have access
- Export citation
Reviews
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
A. H. Lachlan. On some games which are relevant to the theory of recursively enumerable sets. Annals of mathematics, ser. 2 vol. 91 (1970), pp. 291–310.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 345
-
- Article
- Export citation
Other
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 190-194
-
- Article
- Export citation
Reviews
John Cleave. The primitive recursive analysis of ordinary differential equations and the complexity of their solutions. Journal of computer and system sciences, vol. 3 (1969), pp. 447–455.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 345-346
-
- 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
Reviews
Webb Miller. Recursive function theory and numerical analysis. Journal of computer and system sciences vol. 4 (1970), pp. 465–472.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 346
-
- Article
- Export citation
Walter J. Savitch. Relationships between nondeterministic and deterministic tape complexities. Journal of computer and system sciences, vol. 4 (1970), pp. 177–192.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 346-347
-
- Article
- Export citation
Meeting Report
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