Contents
Reviews
Petr Hájek and Antonín Sochor. Ein dem Fundierungsaxiom äquivalentes Axiom. Fundamenta mathematicae, vol. 10 (1964), pp. 261–263.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 412
-
- Article
- Export citation
A. Tarski and R. L. Vaught. Elementary (arithmetical) extensions. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 51–55.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 131
-
- Article
- Export citation
P. Schofield. Complete subsets of mappings over a finite domain. Proceedings of the Cambridge Philosophical Society, vol. 62 (1966), pp. 597–611.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 539-540
-
- Article
- Export citation
R. C. Lyndon. Relation algebras and projective geometry. The Michigan mathematical journal, vol. 8 (1961), pp. 21–28.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 275-276
-
- Article
- Export citation
Angelo Raffaele Meo. On the minimal third order expression of a Boolean function. Proceedings of the Third Annual Symposium on Switching Circuit Theory and Logical Design, Chicago, October 7–12, 1962, American Institute of Electrical Engineers, New York1962, pp. 5–24.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 540
-
- Article
- Export citation
M. O. Rabin. Computable algebraic systems. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 134–138. - Michael O. Rabin. Computable algebra, general theory and theory of computable fields. Transactions of the American Mathematical Society, vol. 95 (1960), pp. 341–360.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 412-413
-
- Article
- Export citation
W. A. J. Luxemburg. A remark on Sikorski's extension theorem for homomorphisms in the theory of Boolean algebras. Fundamenta mathematicae, vol. 55 (1964), pp. 239–247.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 131
-
- Article
- Export citation
S. Feferman and R. L. Vaught. The first order properties of products of algebraic systems. Fundamenta mathematicae, vol, 47 (1959), pp. 57–103.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 276
-
- Article
- Export citation
Michael O. Rabin. Classes of models and sets of sentences with the intersection property. Actes du Colloque de Mathématiques réuni à Ciermont à l'occasion du Tricentenaire de la Mort de Biaise Pascal, 4–8 Juin 1962, Volume I, Introduction et logique mathématique, Annales de la Faculté des Sciences de l'Université de Ciermont, no. 7, Mathématiques, part 1, Imprimerie Louis–Jean, Gap 1962, pp. 39–53.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 413
-
- Article
- Export citation
H. Gaifman. Infinite Boolean polynomials I.Fundamenta mathematicae, vol. 54 (1964), pp. 229–250. (See Errata, ibid., vol. 57 no. 1 (1965), p. 117.) - A. W. Hales. On the non-existence of free complete Boolean algebras. Fundamenta mathematicae, vol. 54 (1964), pp. 45–66.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 131-132
-
- Article
- Export citation
H. Jerome Keisler. Limit ultrapowers. Transactions of the American Mathematical Society, vol. 107 (1963), pp. 382–408.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 277
-
- Article
- Export citation
I. B. Pyne and E. J. McCluskeyJr., The reduction of redundancy in solving prime implicant tables. IRE transactions on electronic computers, vol. EC-11 (1962), pp. 473–482.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 540-541
-
- Article
- Export citation
Thomas H. MottJr., Determination of the ir redundant normal forms of a truth function by iterated consensus of the prime implicants. IRE transactions on electronic computers, vol. EC-9 (1960), pp. 245–252. - D. M. Y. Chang and T. H. MottJr., Computing irredundant normal forms from abbreviated presence functions. IEEE transactions on electronic computers, vol. EC-14 (1965), pp. 335–342.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 541-542
-
- Article
- Export citation
George W. Day. Free complete extensions of Boolean algebras. Pacific journal of mathematics, vol. 15 (1965), pp. 1145–1151.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 132
-
- Article
- Export citation
C. C. Chang. A simple proof of the Rabin-Keisler theorem. Bulletin of the American Mathematical Society, vol. 71 (1965), pp. 642–643.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 277
-
- Article
- Export citation
R. L. Vaught. Elementary classes closed under descending intersection. Proceedings of the American Mathematical Society, vol. 17 (1966), pp. 430–433.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 413-414
-
- Article
- Export citation
Robert M. Solovay. New proof of a theorem of Gaifman and Hales. Bulletin of the American Mathematical Society, vol. 72 (1966), pp. 282–284.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 132
-
- Article
- Export citation
Abraham Robinson and Elias Zakon. Elementary properties of ordered abelian groups. Transactions of the American Mathematical Society, vol. 96 (1960), pp. 222–236.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 414
-
- Article
- Export citation
Joachim Metz. Grundriβ einer allgemeinen Schaltungstheorie (Analyse). German, with German, English, and Russian summaries. Elektronische Informationsverarbeitung und Kybernetik (Berlin), vol. 1 no. 1 (1965), pp. 32–52.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 542
-
- Article
- Export citation
H. Jerome Keisler. Limit ultraproducts. The journal of symbolic logic, vol. 30 (1965), pp. 212–234.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 277-278
-
- Article
- Export citation