Contents
Reviews
A. Grzegorczyk. A note on the theory of prepositional types. Fundamenta mathematicae, vol. 54 (1964), pp. 27–29.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 502-503
-
- Article
- Export citation
Stephen A. Kiss. An introduction to algebraic logic.Stephen A. Kiss, 3 Laurel Lane, Westport, Conn., 1961, xiv + 38 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 270-271
-
- Article
- Export citation
Bolesław Sobociński. On the proposiiional system A of Vučkovit and its extension.Notre Dame journal of formal logic, vol. 5 no. 2 (1964), pp. 141–153, and vol. 5 no. 3 (for 1964, pub. 1965), pp. 223–237.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 118
-
- Article
- Export citation
Robert W. Ritchie. Classes of recursive functions based on Ackermann's function. Pacific journal of mathematics, vol. 15 (1965), pp. 1027–1044.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 654
-
- Article
- Export citation
Marvin L. Minsky. Recursive unsolvability of Post's problem of “Tag” and other topics in the theory of Turing machines. Annals of mathematics, second series, vol. 74 (1961), pp. 437–455.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 654-655
-
- Article
- Export citation
M. R. Krom. Separation principles in the hierarchy theory of pure first-order logic. The journal of symbolic logic, vol. 28 no. 3 (for 1963, pub. 1964), pp. 222–236.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 503-504
-
- Article
- Export citation
H. A. Pogorzelski. Primitive words in an infinite abstract alphabet. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 (1964), pp. 193–198. - H. A. Pogorzelski. Skolem arithmetics on certain concrete word systems. Mathematica Scandinavica, vol. 14 (1964), pp. 93–105.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 271
-
- Article
- Export citation
Arto Salomaa. Some analogues of Sheffet functions in infinite-valued logics. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23–26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki1963, pp. 227–235.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 118-119
-
- Article
- Export citation
Henry A. Pogorzelski. Commutative recursive word arithmetic in the alphabet of prime numbers. Notre Dame journal of formal logic, vol. 5 no. 1 (1964), pp. 13–23.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 271
-
- Article
- Export citation
Erwin Engeler. Äquivalenzklassen von n-Tupeln. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 (1959), pp. 340–345.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 504
-
- Article
- Export citation
Arto Salomaa. On infinitely generated sets of operations infinite algebras. Annales Universitatis Turkuensis, series A, I, Astronomica-chemica-physica-mathematica, no. 74. Turun Yliopisto, Turku1964, 13 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 119-120
-
- Article
- Export citation
M. L. Minsky. Size and structure of universal Turing machines using Tag systems. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 229–238.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 655
-
- Article
- Export citation
Lars Svenonius. ℵ0-categoricity in first-order predicate calculus. Theoria (Lund), vol. 25 (1959), pp. 82–94.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 504
-
- Article
- Export citation
V. S. Čérnávskij. Ob obratimosti algorifmov (On the reversibility of algorithms). Trudy Moskovskogo Matématičéskogo Obščéstva, vol. 9 (1960), pp. 425–453.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 655-656
-
- Article
- Export citation
Lennart Åqvist. Interpretations of deontic logic. Mind, n.s. vol. 73 (1964), pp. 246–253.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 120
-
- Article
- Export citation
K. Menger. The algebra of functions: past, present, future. Rendiconti di matematica, vol. 20 (1961), pp. 409–430. - Karl Menger. Function algebra and propositional calculus. Self-organizing systems 1962, edited by Marshall C. Yovits, George T. Jacobi, and Gordon D. Goldstein, Spartan Books, Washington, D.C., 1962, pp. 525–532. - Karl Menger and Martin Schultz. Postulates for the substitutive algebra of the 2-place functors in the 2-valued calculus of propositions. Notre Dame journal of formal logic, vol. 4 no. 3 (1963), pp. 188–192. - Robert E. Seall. Truth-valued fluents and qualitative laws. Philosophy of science, vol. 30 (1963), pp. 36–10.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 272
-
- Article
- Export citation
Saul A. Kripke. Semantical analysis of modal logic I. Normal modal propositional calculi. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 67–96.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 120-122
-
- Article
- Export citation
F. M. Sioson. Equational bases of Boolean algebras. The journal of symbolic logic, vol. 29 no. 3 (1964), pp. 115–124.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 273
-
- Article
- Export citation
C. Ryll-Nardzewski. On the categoricity in power . Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 7 (1959), pp. 545–548.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 505
-
- Article
- Export citation
Hisao Yamada. Real-time computation and recursive functions not real-time computable. IRE transactions on electronic computers, vol. EC-11 (1962), pp. 753–760.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 656-657
-
- Article
- Export citation