Contents
Reviews
Michael Arbib and Manuel Blum. Machine dependence of degree of difficulty. Proceedings of the American Mathematical Society, vol. 16 (1965), pp. 442–447.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 509
-
- Article
- Export citation
B. M. Kloss. K oprédéléniú složnosti algoritmov. Doklady Akademii Nauk SSSR, vol. 157 (1964), pp. 38–40. - B. M. Kloss. The definition of complexity of algorithms. English translation of the preceding by S. L. Bloom. Soviet Mathematics, vol. 5 no. 4 (1964), pp. 880–882.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 509
-
- Article
- Export citation
C. C. Elgot. Decision problems of finite automata design and related arithmetics. Transactions of the American Mathematical Society, vol. 98 (1961), pp. 21–51.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 509-510
-
- Article
- Export citation
L. Kalmár. A practical infinitistic computer. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2-9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, pp. 347–362.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 510
-
- Article
- Export citation
Gr. C. Moisil. Scheme cu comandă directă cu contacte şi relee (Relay contact circuits under direct control). Monografii asupra teoriei algebrice a mecanismelor automate. Editura Academiei Republicii Populare Romîne, Bucharest1959, 205 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 510-511
-
- Article
- Export citation
M. A. Gavrilov. Sovréménnoé sostoánié téorii réléjnyh ustrojstv (The present state of the theory of relay circuits). Strukturnaá téoriá réléjnyh ustrojstv, Izdatél′stvo Akadémii Nauk, SSSR, Moscow1963, pp. 5–73.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 511-512
-
- Article
- Export citation
J. Santos and H. Arango. La operación puente en las álgebras de Boole. Actas de las X jornadas, Unión Matemática Argentina, Instituto de Matemáticas, Universidad Nacional del Sur, Bahía Blanca1957, pp. 25–28.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 512
-
- Article
- Export citation
Chen Chung Chang and Alfred Horn. Prime ideal characterization of generalized Post algebras. Lattice theory, Proceedings of symposia in pure mathematics, vol. 2 (1961), pp. 43–48.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 512
-
- Article
- Export citation
C. C. Chang and A. Horn. On the representation of α-complete lattices. Fundamenta mathematicae, vol. 51 (1962), pp. 253–258.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 512-513
-
- Article
- Export citation
Bernard A. Galler. Cylindric andpolyadic algebras. Proceedings of the American Mathematical Society, vol. 8 (1957), pp. 176–183.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 513
-
- Article
- Export citation
Bjarni Jónsson. Defining relations for full semigroups of finite transformations. The Michigan mathematical journal, vol. 9 (1962), 77–85.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 513
-
- Article
- Export citation
A. I. Mal′cév. O malyh modélah (On small models). Doklady Akadémii Nauk SSSR, vol. 127 (1959), pp. 258–261.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 513-514
-
- Article
- Export citation
Dana Scott. Dimension in elementary Euclidean geometry. The axiomatic method with special reference to geometry and physics, Proceedings of an International Symposium held at the University of California, Berkeley, December 26,1957–January 4,1958. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 53–67.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 514
-
- Article
- Export citation
Per Lindström. On relations between structures. Theoria (Lund), vol. 32 (1966), pp. 172–185.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 515
-
- Article
- Export citation
J. R. Shoenfield. The problem of predicativity. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem1961, and North-Holland Publishing Company, Amsterdam 1962, pp. 132–139.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 515
-
- Article
- Export citation
P. Vopěnka. The limits of sheaves and applications on constructions of models. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 (1965), pp. 189–192. - P. Vopěnka. On ∇-model of set theory. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 (1965), pp. 267–272. - P. Vopěnka. Properties of ∇-model. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 (1965), pp. 441–444. - P. Vopěnka and P. Hájek. Permutation submodels of the model ∇. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 (1965), pp. 611–614. - P. Hájek and P. Vopěnka. Some permutation submodels of the model ∇. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 14 (1966), pp. 1–7. - P. Vopěnka. ∇-models in which the generalized continuum hypothesis does not hold. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 14 (1966), pp. 95–99.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 515-516
-
- Article
- Export citation
Abraham Robinson. On languages which are based on non-standard arithmetic.Nagoya mathematical journal, vol. 22 (1963), pp.83–117.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 516-517
-
- Article
- Export citation
Clement F. Kent. Constructive analogues of the group of permutations of the natural numbers. Transactions of the American Mathematical Society, vol. 104 (1962), pp.347–362.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 517-518
-
- Article
- Export citation
T. G. McLaughlin. Some remarks on extensibility, confluence of paths, branching properties, and index sets, for certain recursively enumerable graphs. Illinois journal of mathematics, vol. 11 (1967), pp. 257–279.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 518
-
- Article
- Export citation
J. C. E. Dekker. Good choice sets. Annali della Scuola Normale Superiore di Pisa, scienze fisiche e mathematiche, series 3 vol. 20 (1966), pp. 367–393. - J. C. E. Dekker. The recursive equivalence type of a class of sets. Bulletin of the American Mathematical Society, vol. 70 (1964), pp. 628–632.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 518-519
-
- Article
- Export citation