Reviews
Hans Hermes. Einführung in die Verbandstheorie. Second, enlarged edition of XXII 222. Springer-Verlag, Berlin-Heidelberg-New York1967, xii + 209 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 677
-
- Article
- Export citation
A. P. Bowran. A Boolean algebra abstract and concrete. Macmillan & Co. Ltd, London, and St. Martin's Press, New York, 1965, vii + 93 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 677
-
- Article
- Export citation
Moses Richardson. Fundamentals of mathematics. Revised edition of VII 46. The Macmillan Company, New York1958, xviii + 507 pp.; also third edition, The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1966, xx + 603 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 678
-
- Article
- Export citation
Richmond H. Thomason. Symbolic logic. An introduction. The Macmillan Company, Collier-Macmillan Limited, London1970, xiii + 367 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 678
-
- Article
- Export citation
Gerald J. Massey. Understanding symbolic logic. Harper & Row, Publishers, New York, Evanston, and London, 1970, xix + 428 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 678-679
-
- Article
- Export citation
Gerson B. Robison. An introduction to mathematical logic. Prentice-Hall, Inc., Engle wood Cliffs, N.J., 1969, xii + 212 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 679
-
- Article
- Export citation
Hans Hermes. Term logic with choice operator. A revised and enlarged translation of XXXV 440. Lecture notes in mathematics no. 6, Springer-Verlag, Berlin, Heidelberg, and New York, 1970, iv + 55 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 679-680
-
- Article
- Export citation
Thoralf A. Skolem. Abstract set theory. Notre Dame mathematical lectures, no. 8, University of Notre Dame, Notre Dame, Indiana, 1962, v + 70 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 680
-
- Article
- Export citation
Th. Skolem. Two remarks on set theory. Mathematica Scandinavica, vol. 5 (1957), pp. 40–46. - John H. Harris. On a problem of Th. Skolem. Notre Dame Journal of formal logic, vol. 11 (1970), pp. 372–374.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 680
-
- Article
- Export citation
V. Devidé. A proof of the well-ordering theorem. Colloquium mathematicum, vol. 11 no. 1 (1963), pp. 53–54. - Vladimir Devidé. A proof of Zermelo's theorem. The journal of symbolic logic, vol. 32 (1967), p. 366.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 681
-
- Article
- Export citation
Gregorio Klimovsky. Tres enunciados equivalentes al teorema de Zorn. Contribuciones cientificas, Serie matematica, vol. 2 no. 1. Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, Buenos Aires 1956, 29 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 681
-
- Article
- Export citation
Kurt Hauschild. Eine Bemerkung zum Mengenbildungsaxiom. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 9–11.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 681-682
-
- Article
- Export citation
Leslie H. Tharp. On a set theory of Bernays. The journal of symbolic logic, vol. 32 (1967), pp. 319–321.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 682
-
- Article
- Export citation
Azriel Lévy. On models of set theory with urelements. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 8 (1960), pp. 463–465.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 682
-
- Article
- Export citation
Wolfram Schwabhäuser. On models of elementary elliptic geometry. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 312–328.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 682
-
- Article
- Export citation
Roman Sikorski. Products of generalized algebras and products of realizations. Colloquium mathematicum, vol. 10 (1963), pp. 1–13.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 682
-
- Article
- Export citation
Aubert Daigneault. Tensor products of polyadic algebras. The journal of symbolic logic, t. 28 n° 3 (pour 1963, pub. 1964), p. 177–200.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 683
-
- Article
- Export citation
James Ax and Simon Kochen. Diophantine problems over local fields I. American journal of mathematics, vol. 87 (1965), pp. 605–630. - James Ax and Simon Kochen. Diophantine problems over local fields II. A complete set of axioms for p-adic number theory. American journal of mathematics, vol. 87 (1965), pp. 631–648. - James Ax and Simon Kochen. Diophantine problems over local fields III. Decidable fields. Annals of mathematics, vol. 83 (1966), pp. 437–456.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 683-684
-
- Article
- Export citation
James Ax. On the undecidability of power series fields. Proceedings of the American Mathematical Society, vol. 16 (1965), p. 846.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 684
-
- Article
- Export citation
J. P. Ressayre. Sur les théories du premier ordre catégoriques en un cardinal. Transactions of the American Mathematical Society, vol. 142 (1969), pp. 481–305.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 684-685
-
- Article
- Export citation