Contents
Reviews
S. R. Kogalovskij. Univérsal'nyé klassy modéléj (Universal classes of models). Doklady Akadémii Nauk SSSR, vol. 124 (1959), pp. 260–263. - Tadashi Ohkuma. Ultrapowers in categories. The Yokohama mathematical journal, vol. 14 nos. 1–2 (1966), pp. 17–37.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 402
-
- Article
- Export citation
Frederic B. Fitch. Quasi-constructive foundations for mathematics. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by A. Heyting, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 26–36.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 402
-
- Article
- Export citation
Hilary Putnam. Mathematics without foundations. The journal of philosophy, vol. 64 (1967), pp. 5–22.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 402-404
-
- Article
- Export citation
Mariko Yasugi. Intuitionistic analysis and Gödel's interpretation. Journal of the Mathematical Society of Japan, vol. 15 (1963), pp. 101–112.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 404
-
- Article
- Export citation
Jean van Heijenoort. Introductory note. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1967, pp. 1–5. Reprinted in Frege and Gödel, Two fundamental texts in mathematical logic, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1970, pp. 1–5. - Gottlob Frege. Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought. English translation of 491 by Stefan Bauer-Mengelberg. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1967, pp. 5–82. Reprinted in Frege and Gödel, Two fundamental texts in mathematical logic, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1970, pp. 5–82. - Jean van Heijenoort. Introductory note. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1967, pp. 592–595. Reprinted in Frege and Gödel, Two fundamental texts in mathematical logic, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1970, pp. 83–86. - Kurt Gödel. Some metamathematical results on completeness and consistency. English translation of 4181 by Stefan Bauer-Mengelberg. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1967, pp. 595–596. Reprinted in Frege and Gödel, Two fundamental texts in mathematical logic, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1970, pp. 86–87. - Kurt Gödel. On formally undecidable propositions of Principia mathematica and related systems I. English translation of 4183 by Jean van Heijenoort. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1967, pp. 596–616. Reprinted in Frege and Gödel, Two fundamental texts in mathematical logic, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1970, pp. 87–107. - Kurt Gödel. On completeness and consistency. English translation of 4188 by Jean van Heijenoort. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1967, pp. 616–617. Reprinted in Frege and Gödel, Two fundamental texts in mathematical logic, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1970, pp. 107–108.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 405
-
- Article
- Export citation
Gert H. Müller. Nicht-Standardmodelle der Zahlentheorie. Mathematische Zeitschrift, vol. 77 (1961), pp. 414–438.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 405-406
-
- Article
- Export citation
Robert A. DiPaola. Pseudo-complements and ordinal logics based on consistency statements. The journal of symbolic logic, vol. 31 (1966), pp. 359–364. - Robert A. Dipaola. Some properties of pseudo-complements of recursively enumerable sets. Transactions of the American Mathematical Society, vol. 121 (1966), pp. 296–308.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 406
-
- Article
- Export citation
J. C. E. Dekker. Les fonctions combinatoires et les isols. Collection de logique mathématique, série A, no. 22, Gauthiers-Villars, Paris, and E. Nauwelaerts, Louvain, 1966, 79 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 406
-
- Article
- Export citation
John N. Crossley. Recursive equivalence: a survey. Proceedings of the summer school in logic, Leeds, 1967, edited by M. H. Löb, Lecture notes in mathematics, no. 70, Springer-Verlag, Berlin, Heidelberg, and New York, 1968, pp. 241–251. - John N. Crossley. Recursive equivalence. The bulletin of the London Mathematical Society, vol. 2 (1970), pp. 129–151.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 406-407
-
- Article
- Export citation
Louise Hay. The co-simple isols. Annals of mathematics, ser. 2 vol. 83 (1966), pp. 231–256.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 407-408
-
- Article
- Export citation
Louise Hay. Elementary differences between the isols and the co-simple isols. Transactions of the American Mathematical Society, vol. 127 (1967), pp. 427–441.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 408
-
- Article
- Export citation
John Myhill. Note on degrees of partial functions. Proceedings of the American Mathematical Society, vol. 12 (1961), pp. 519–521.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 408
-
- Article
- Export citation
É. A. Polákov. Algébry rékursivnyh funkcij (Algebras of recursive functions). Algébra i logika, Séminar, vol. 3 no. 1 (1964), pp. 41–56. - É. A. Polákov. O nékotoryh svojstvah algébr rékwsivnyh funkcij (On some properties of algebras of recursive functions). Algébra i logika, Séminar, vol. 3 no. 3 (1964), pp. 39–57.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 408-409
-
- Article
- Export citation
V. I. Amstislavskij. Téorétiko-množéstvénnyé operacii i rékursivnyé iérarhii. Doklady Akadémii Nauk SSSR, vol. 169 (1966), pp. 995–998. - V. I. Amstislavskij. Set-theoretical operations and recursive hierarchies. English translation of the preceding by E. Wesley. Soviet mathematics, vol. 7 no. 4 (1966), pp. 1029–1032. - V. I. Amstislavskij. Rasširénié rékursivnyh iérarhij i R-opéracii. Doklady Akadémii Nauk SSSR, vol. 180 (1968), pp. 1023–1026. - V. I. Amstislavskij. Expansion of recursive hierarchies and R-operations. English translation of the preceding by A. Yablonsky. Soviet mathematics, vol. 9 no. 3 (1968), pp. 703–706. - V. I. Amstislavskij. O razložénii téla množéstv, polučaémyh R-opéraciéj nad rékursivnymi množéstvami. Doklady Akadémii Nauk SSSR, vol. 191 (1970), pp. 743–746. - V. I. Amstislavskij. On the decomposition of a field of sets obtained by an R-operation over recursive sets. English translation of the preceding by S. Shepherd. Soviet mathematics, vol. 11 no. 2 (1970), pp. 419–422. - V. I. Amstislavskij. Efféktivnyé R-množéstva i transfinitnyé prodolžéniá rékursivnyh iérarhij (Effective R-sets and transfinite extensions of recursive hierarchies). Fundamenta mathematicae, vol. 68 no. 1 (1970), pp. 61–68.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 409-410
-
- Article
- Export citation
M. A. Aizerman, L. A. Gusev, L. I. Rozonoér, I. M. Smirnova, and A. A. Tal'. The algorithmic insolubility of the problem of recognizing the representability of recursive events in finite automata. English translation of XXXVII 426. Automation and remote control, vol. 22 (1961), pp. 646–652.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 410-411
-
- Article
- Export citation
Seymour Ginsburg. Some remarks on abstract machines. Transactions of the American Mathematical Society, vol. 96 (1960), pp. 400–444. - Seymour Ginsburg and Gene F. Rose. A comparison of the work done by generalized sequential machines and Turing machines. Transactions of the American Mathematical Society, vol. 103 (1962), pp. 394–402.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 411
-
- Article
- Export citation
Paul W. Abrahams. Machine verification of mathematical proof. Mathematical algorithms, vol. 1 no. 2 (1966), pp. 11–32; vol. 1 no. 3 (1966), pp. 19–38; vol. 2 (1967), pp. 28–79; vol. 3 (1968), pp. 28–155.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 411-412
-
- Article
- Export citation
Michael A. Arbib. Theories of abstract automata. Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1969, xiii + 412 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 412-413
-
- Article
- Export citation
Peter H. Starke. Abstrakte Automaten. VEB Deutscher Verlag der Wissenschaften, Berlin1969, 392 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 413-414
-
- Article
- Export citation
Gr. C. Moisil. Contributii la teoria algebricǎ a mecanismelor automate (Contribution à l'étude algébrique des mécanismes automatiques). Roumanian with Russian and French summaries. Buletin ştiintific, Secţiunea de ştiinte matematice şi fizice, vol. 7 (1955), pp. 183–230. - Gr. C. Moisil and Gh. Ioanin. Asupra funcţionǎrii schemelor cu butoni reali (Sur le fonctionnement des schémas à boutons réels). Roumanian with Russian and French summaries. Buletin ştiintific, Secţiunea de ştiinte matematice şi fizice, vol. 7 (1955), pp. 33–49. - Gr. C. Moisil. Teoria algebricǎ a funcţionǎrii schemelor cu contacte de relee in mai mulţi timpi (Théorie algébrique du fonctionnement des schémas à relais à contacts échelonnés). Roumanian with Russian and French summaries. Studii şi cercetǎri matematice, vol. 6 (1955), pp. 7–53.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 414-416
-
- Article
- Export citation