Reviews
Hao Wang. Logic and computers. The American mathematical monthly, vol. 72(1965), pp. 135–140.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 264
-
- Article
- Export citation
Vladeta Vučković. Dva stava o parcijalnim automatima (Two theorems on partial automata). Matematička biblioteka, vol. 25 (1963), pp. 41–49.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 264-265
-
- Article
- Export citation
R. E. Stearns and J. Hartmanis. Regularity preserving modifications of regular expressions. Information and control, vol. 6 (1963), pp. 55–69.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 265
-
- Article
- Export citation
J. Richard Büchi. Regular canonical systems. Archiv für mathematische Logik und Grundlagenforschung, vol. 6 nos. 3–4 (1964), pp. 91–111.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 265-267
-
- Article
- Export citation
Jaakko Hintikka. Distributive normal forms in first-order logic. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, edited by J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 48–91. - Jaakko Hintikka. Distributive normal forms and deductive interpolation. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 (1964), pp. 185–191.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 267-268
-
- Article
- Export citation
Setsuo Saito. Truth value assignment in predicate calculus of first order. Notre Dame journal of formal logic, vol. 4 no. 3 (1963), pp. 216–223.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 268
-
- Article
- Export citation
G. Hasenjaeger. Eine Bemerkung zu Henkin's Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe. The journal of symbolic logic, vol. 18 (1953), pp. 42–48.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 268
-
- Article
- Export citation
H. J. Keisler. A complete first-order logic with infinitary predicates. Fundamenta mathematicae, vol. 52 (1963), pp. 177–203.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 269
-
- Article
- Export citation
S. Feferman. Arithmetization of metamathematics in a general setting. Fundamenta mathematicae, vol. 49 no. 1 (1960), pp. 35–92.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 269-270
-
- Article
- Export citation
Robert McNaughton. Undefinability of addition from one unary operator. Transactions of the American Mathematical Society, vol. 117 (1965), pp. 329–337.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 270
-
- 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
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
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
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
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
William C. Nemitz. Implicative semi-lattices. Transactions of the American Mathematical Society, vol. 117 (1965), pp. 128–142.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 273
-
- Article
- Export citation
Wilson E. Singletary. A complex of problems proposed by Post. Bulletin of the American Mathematical Society, vol. 70 (1964), pp. 105–109. See Correction, ibid., p. 826.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 273-274
-
- Article
- Export citation
Wacław Sadowski. Pewien dowód zupełności dwuwartościowego rachunku zdań (A proof of completeness of the two-valued propositional calculus). Polish, with Russian and English summaries. Studia logica, vol. 11 (1961), pp. 49–55.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 274
-
- Article
- Export citation
Akira Nakamura. Tati ronri to sono kôrikei ni tuite (On the many-valued logics and an axiomatic system for them). Kagaku kisoron kenkyû (Journal of the Japan Association for Philosophy of Science), vol. 5 no. 4 (1962), pp. 165–171.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 274-275
-
- Article
- Export citation
Hector-Neri Castaneda. A note on S5. The journal of symbolic logic, vol. 29 no. 4 (for 1964, pub. 1965), pp. 191–192.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 275
-
- Article
- Export citation