Contents
Reviews
C. E. M. Yates. Recursively enumerable sets and retracing functions. Zeitschrift für mathematische logik und Grundlagen der Mathematik, vol. 8 (1962), pp. 331–345.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 394
-
- Article
- Export citation
Irving M. Copi. Symbolic logic. Second, revised, edition of XIX 282. The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1965, xviii + 395 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 252-255
-
- Article
- Export citation
Henry Hiż. Congrammaticality, batteries of transformations and grammatical categories. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence 1961, pp. 43–50. - H. Hiż. The intuitions of grammatical categories. Methodos, vol. 12 (for 1960, pub. 1961), pp. 311–319.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 115-116
-
- Article
- Export citation
S. Ú. Maslov. Préobrazovanié proizvol′nyh kanoničéskih isčislénij v kanoničéskié isčisléniá spécial′nyh tipov. Doklady Akadémii Nauk SSSR, vol. 147 (1962), pp. 779–782. - S. Ju. Maslov. Transformation of arbitrary canonical calculi into canonical calculi of special types. English translation of the preceding by R. N. Gdss. Soviet mathematics, vol. 3 no. 6 (1963), pp. 1708–1711.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 527
-
- Article
- Export citation
Hugues Leblanc. Minding one's X's and Y's. Logique et analyse, n.s. vol. 8 (1965), pp. 209–210. - John G. Slater. The required correction to Copi's statement of UG. Logique et analyse, n.s. vol. 9 (1966), p. 267.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 255
-
- Article
- Export citation
Peter S. Landweber. Three theorems on phrase structure grammars of type 1. Information and control, vol. 6 (1963), pp. 131–136.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 116
-
- Article
- Export citation
Norman Shapiro. Functions which remain partial recursive under all similarity transformations. The journal of symbolic logic, vol. 28 no. 1 (for 1963, pub. 1964), pp. 17–19.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 527
-
- Article
- Export citation
C. E. M. Yates. Three theorems on the degrees of recursively enumerable sets. Duke mathematical journal, vol. 32 (1965), pp. 461–468.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 394-395
-
- Article
- Export citation
S.-Y. Kuroda. Classes of languages and linear-bounded automata. Information and control, vol. 7 (1964), pp. 207–223.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 116-117
-
- Article
- Export citation
Dag Prawitz. Natural deduction. A proof-theoretical study. Acta Universitatis Stock-holmiensis, Stockholm studies in philosophy no. 3. Almqvist & Wiksell, Stockholm, Göteborg, and Uppsala, 1965, 113 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 255-256
-
- Article
- Export citation
J. C. E. Dekker. The minimum of two regressive isols. Mathematische Zeitschrift, vol. 83 (1964), pp. 345–366.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 527
-
- Article
- Export citation
A. H. Lachlan. A note on universal sets. The journal of symbolic logic, vol. 31 (1966), pp. 573–574.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 395
-
- Article
- Export citation
Joseph Barback. Two notes on regressive isols. Pacific journal of mathematics, vol. 15 (1966), pp. 407–420.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 527-528
-
- Article
- Export citation
Lawrence Wos, Daniel Carson, and George Robinson. The unit preference strategy in theorem proving. AFIPS conference proceedings, Volume 26, 1964 Fall Joint Computer Conference, Spartan Books, Inc., Baltimore, Md., and Cleaver-Hume Press, London, 1964, pp. 615–621.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 117
-
- Article
- Export citation
Hugues Leblanc. Études sur les règles d'inférence dites règles de Gentzen. Deuxième partie. Dialogue, vol. 1 no. 4 (1963), pp. 355–367.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 256-258
-
- Article
- Export citation
R. Fraïssé. Une notion de récursivité relative. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959, Państwowe Wydawnictwo Naukowe, Warschau, und Pergamon Press, Oxford—London—New York—Paris, 1961, S. 323–328.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 395-396
-
- Article
- Export citation
K. Jaakko J. Hintikka. Identity, variables, and impredicative definitions. The journal of symbolic logic, vol. 21 (1956), pp. 225–245. - K. Jaakko J. Hintikka. Vicious circle principle and the paradoxes. The journal of symbolic logic, vol. 22 (1957), pp. 245–249.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 258-259
-
- Article
- Export citation
Takakazu Simauti. A note on the construction of ordinal numbers. Commentarii mathematici Universitatis Sancti Pauli, Bd. 12 (für 1963, ersch. 1964), S. 37–39.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 396
-
- Article
- Export citation
Gerald E. Sacks. A maximal set which is not complete. Michigan mathematical journal, vol. 11 (1964), pp. 193–205.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 528
-
- Article
- Export citation
Lawrence Wos, George A. Robinson, and Daniel F. Carson. Efficiency and completeness of the set of support strategy in theorem proving. Journal of the Association for Computing Machinery, vol. 12 (1965), pp. 536–541.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 117-118
-
- Article
- Export citation