Contents
Reviews
L. Henkin. Boolean representation through propositional calculus. Fundamenta mathematicae, vol. 41 no. 1 (1954), pp. 89–96. - J. Łoś. Remarks on Henkin's paper: Boolean representation through propositional calculus. Fundamenta mathematicae, vol. 44 no. 1 (1957), pp. 82–83.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 521-522
-
- Article
- Export citation
B. Rotman. Boolean algebras with ordered bases. Fundamenta mathematicae, vol. 75 no. 2 (1972), pp. 187–197.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 658
-
- Article
- Export citation
Stephen Cole Kleene. Introduction to metamathematics. Sixth printing of XIX 215. Wolters-Noordhoff Publishing, Groningen, North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1971, X + 550 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 332-333
-
- Article
- Export citation
John Myhill. Finitely representable functions. 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. 195–207.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 157-158
-
- Article
- Export citation
Reijiro Kurata. Recursive progression of intuitionistic number theories. Journal of the Mathematical Society of Japan, vol. 17 (1965), pp. 140–166.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 333
-
- Article
- Export citation
H. Jerome Keisler. Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers. Studies in logic and the foundations of mathematics, vol. 62, North-Holland Publishing Company, Amsterdam and London1971, x + 208 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 522-523
-
- Article
- Export citation
R. Montague. Recursion theory as a branch of model theory. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967, edited by B. van Rootselaar and J. F. Staal, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 63–86.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 158-159
-
- Article
- Export citation
Yap Hian Poh. Postulational study of an axiom system of Boolean algebra. Majallah Tahunan 'Ilmu Pasti—Shu Hsüeh Nien K'an—Bulletin of Mathematical Society of Nanyang University (1960), pp. 94–110. - R. M. Dicker. A set of independent axioms for Boolean algebra. Proceedings of the London Mathematical Society, ser. 3 vol. 13 (1963), pp. 20–30. - P. J. van Albada. A self-dual system of axioms for Boolean algebra. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A vol. 67 (1964), pp. 377–381; also Indagationes mathematicae, vol. 26 (1964), pp. 377–381. - Antonio Diego and Alberto Suárez. Two sets of axioms for Boolean algebras. Portugaliae mathematica, vol. 23 nos. 3–4 (for 1964, pub. 1965), pp. 139–145. (Reprinted from Notas de lógica matemática no. 16, Instituto de Matemática, Universidad Nacional del Sur, Bahía Blanca 1964, 13 pp.) - P. J. van Albada. Axiomatique des algèbres de Boole. Bulletin de la Société Mathématique de Belgique, vol. 18 (1966), pp. 260–272. - Lawrence J. Dickson. A short axiomatic system for Boolean algebra. Pi Mu Epsilon journal, vol. 4 no. 6 (1967), pp. 253–257. - Leroy J. Dickey. A shorter axiomatic system for Boolean algebra. Pi Mu Epsilon journal, vol. 4 no. 8 (1968), p. 336. - Chinthayamma . Independent postulate sets for Boolean algebra. Pi Mu Epsilon journal, vol. 4 no. 9 (1968), pp. 378–379. - Kiyoshi Iséki. A simple characterization of Boolean rings. Proceedings of the Japan Academy, vol. 44 (1968), pp. 923–924. - Sakiko Ôhashi. On definitions of Boolean rings and distributive lattices. Proceedings of the Japan Academy, vol. 44 (1968), pp. 1015–1017.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 658-660
-
- Article
- Export citation
H. Jerome Keisler. Infinite quantifiers and continuous games. Applications of model theory to algebra, analysis, and probability, edited by W. A. J. Luxemburg, Holt, Rinehart and Winston, New York, Chicago, San Francisco, Atlanta, Dallas, Montreal, Toronto, London, and Sydney, 1969, pp. 228–264.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 523
-
- Article
- Export citation
John Myhill. Elementary properties of the group of isolic integers. Mathematische Zeitschrift, vol. 78 (1962), pp. 126–130.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 333
-
- Article
- Export citation
Elliott Mendelson. A semantic proof of the eliminability of descriptions. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 6 (1960), pp. 199–200. - T. G. McLaughlin. A muted variation on a theme of Mendelson. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 57–60.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 660
-
- Article
- Export citation
Michael O. Rabin. Non-standard models and independence of the induction axiom. 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. 287–299; also second edition, Magnes Press, Jerusalem 1966, pp. 287–299.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 159
-
- Article
- Export citation
W. W. Tait. The substitution method. The journal of symbolic logic, Bd. 30 (1965), S. 175–192.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 660
-
- Article
- Export citation
Andrzej Grzegorczyk. An unfinitizability proof by means of restricted reduced power. Fundamenta mathematicae, vol. 73 no. 1 (1971), pp. 37–49.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 159-161
-
- Article
- Export citation
Carl E. Bredlau. Regressive functions and combinatorial functions. Notre Dame journal of formal logic, vol. 8 no. 4 (for 1967, pub. 1968), pp. 301–310.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 333
-
- Article
- Export citation
Saharon Shelah. Uniqueness and characterization of prime models over sets for totally transcendental first-order theories. The journal of symbolic logic, vol. 37 (1972), pp. 107–113.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 523-524
-
- Article
- Export citation
Kurt Hauschild. Nichtaxiomatisierbarkeit von Satzmengen durch Ausdrücke spezieller Gestalt. Fundamenta mathematicae, vol. 72 no. 3 (1971), pp. 245–253.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 161
-
- Article
- Export citation
J. W. Addison and Yiannis N. Moschovakis. Some consequences of the axiom of definable determinateness. Proceedings of the National Academy of Sciences, vol. 59 (1968), pp. 708–712. - Donald A. Martin. The axiom of determinateness and reduction principles in the analytical hierarchy. Bulletin of the American Mathematical Society, vol. 74 (1968), pp. 687–689.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 334
-
- Article
- Export citation
Erik Ellentuck. A minimal model for strong analysis. Fundamenta mathematicae, vol. 73 no. 2 (1971), pp. 125–131.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 524
-
- Article
- Export citation
Dean P. McCullough. Logical connectives for intuitionistic propositional logic. The journal of symbolic logic, vol. 36 (1971), pp. 15–20.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 660-661
-
- Article
- Export citation