Contents
Reviews
J. A. Kalman. Equational completeness and families of sets closed under subtraction. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 63 (1960), pp. 402–405; also lndagationes mathematieae, vol. 22 (I960), pp. 402–405.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 160
-
- Article
- Export citation
Sherman K. Stein. Finite models of identities. Proceedings of the American Mathematical Society, vol. 14 (1963), pp. 216–222. - A. K. Austin. A note on models of identities. Proceedings of the American Mathematical Society, vol. 16 (1965), pp. 522–523.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 160-161
-
- Article
- Export citation
H. Ribeiro and R. Schwabauer. A remark on equational completeness. Archiv für mathematische Logik und Grundlagenforschung, vol. 7 (1965), pp. 122–123.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 161
-
- Article
- Export citation
Tae-il Suh. Equationally complete non-associative algebras. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 71 (1968), pp. 321–324; also Indagationes mathematicae, vol. 30 (1968), pp. 321–324.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 161
-
- Article
- Export citation
A. Tarski. Equational logic and equational theories of algebras. Contributions to mathematical logic, Proceedings of the Logic Colloquium, Hannover 1966, edited by H. Arnold Schmidt, K. Schütte, and H.-J. Thiele, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 275–288.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 161-162
-
- Article
- Export citation
Ú. I. Ánov. О sistémah toždéstv dlá algébr (On systems of identities for algebras). Problémy kibirnétiki, vol. 8 (1962), pp. 75–90.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 162
-
- Article
- Export citation
H. G. Forder and J. A. Kalman. Implication in equational logic. The mathematical gazette, vol. 46 (1962), pp. 122–126.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 162
-
- Article
- Export citation
Eugene Jacobs and Robert Schwabauer. The lattice of equational classes of algebras with one unary operation. The American mathematical monthly, vol. 71 (1964), pp. 151—155.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 163
-
- Article
- Export citation
Antonio Monteiro. Construction des algèbres de Nelson finies. Notas de lógica matemática no. 15, Instituto de Matemática, Universidad Nacional del Sur, Bahía Blanca1964, 11 pp. (Reprinted from Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 11 (1963), pp. 359–362.)
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 163
-
- Article
- Export citation
Diana Brignole. Equational characterization of Nelson algebra. Notre Dame journal of formal logic, vol. 10 no. 3 (1969), pp. 285–297.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 163
-
- Article
- Export citation
Ph. Dwinger and F. M. Yaqub. Free extensions of sets of Boolean algebras. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 67 (1964), pp. 567–577; also Indagationes mathematicae, vol. 26 (1964), pp. 567–577.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 163-164
-
- Article
- Export citation
Domenico Castaldo. Relazione fra le funzioni simmetriche in un algebra di Boole. La ricerca (Naples), vol. 10 ser. 2 (10-Dec. 1959), pp. 27–34.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 164
-
- Article
- Export citation
Sheldon B. AkersJr., On the algebraic manipulation of majority logic. IRE transactions on electronic computers, vol. EC-10 (1961), p. 779.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 164
-
- Article
- Export citation
Jan Mycielski and H. Steinhaus. A mathematical axiom contradicting the axiom of choice. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 10 (1962), pp. 1–3. - Jan Mycielski. On the axiom of determinateness. Fundamenta mathematicae, vol. 53 (1964), pp. 205–224. - Jan Mycielski and S. Świerczkowski. On the Lebesgue measurability and the axiom of determinateness. Fundamenta mathematicae, vol. 54 (1964), pp. 67–71. - Jan Mycielski. On the axiom of determinateness (II). Fundamenta mathematicae, vol. 59 (1966), pp. 203–212.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 164-166
-
- Article
- Export citation
Richard A. Platek. Eliminating the continuum hypothesis. The journal of symbolic logic, vol. 34 (1969), pp. 219–225.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 166
-
- Article
- Export citation
Melvin Chris Fitting. Intuitionistic logic model theory and forcing. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1969, 191 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 166-167
-
- Article
- Export citation
Alexander Abian. The theory of sets and transfinite arithmetic.W. B. Saunders Company, Philadelphia and London1965, xiii + 406 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 167
-
- Article
- Export citation
G. B. Keene. First-order functional calculus. Monographs in modern logic. Routledge & Kegan Paul Ltd, London, and Dover Publications Inc., New York, 1964, vi + 82 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 167-168
-
- Article
- Export citation
Dieter Klaua. Systematische Behandlung der lösbaren Fälle des Entscheidungsproblems für den Prädikatenkalkül der ersten Stufe. Zeitsckrift für mathematische Logik und Grundlagen der Mathematik, vol. 1 (1955), pp. 264–270.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 168
-
- Article
- Export citation
J. Łoś, A. Mostowski, and H. Rasiowa. A proof of Herbrand's theorem. Journal de mathématiques pures et appliquées, Folge 9 Bd. 35 (1956), S. 19–24. - J. Łoś, H. Rasiowa, and A. Mostowski. Addition au travail “A proof of Herbrand theorem.”Journal de mathématiques pures et appliquées, Folge 9 Bd. 40 (1961), S. 129–134.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 168-169
-
- Article
- Export citation