Contents
Reviews
A. I. Mal′cév. Ob eléméntwnyh téoriáh lokal′no svobodnyh univérsal′nyh algébr. Doklady Akadémii Nauk SSSR, vol. 138 (1961), pp. 1009–1012. - A. I. Mal′cev. On the elementary theories of locally free universal algebras. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 2 no. 3 (1961) pp. 768–771. - A. I. Mal′cev. Aksiomatiziruémyé klassy lokal′no svobodnyh algébr nékotoryh tipov (Axiomatizable classes of locally free algebras of several types). Sibirskij matématičéskij žurnal, vol. 3 (1962), pp. 729–743.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 278-279
-
- Article
- Export citation
A. Białynicki–Birula. Remarks on quasi–Boolean algebras. Bulletin de l′Académie Polonaise des Sciences, Classe III, Bd. 5 (1957), S. 615–619.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 414
-
- Article
- Export citation
D. E. Rutherford. Introduction to lattice theory. Oliver & Boyd, Edinburgh, and Hafner Publishing Company, New York, 1965, x + 117 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 542
-
- Article
- Export citation
Ralph M. Toms. Systems of Boolean equations. The American mathematical monthly, vol. 73 (1966), pp. 29–35.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 132-133
-
- Article
- Export citation
Jürgen Schmidt. Peano-Bäume. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 6 (1960), pp. 225–239.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 542-543
-
- Article
- Export citation
M. I. Kargapolov. Ob eléméntarnoj téorii struktur podgrupp (On the elementary theory of lattices of subgroups). Algébra i logika, Séminar, vol. 1 no. 3 (1962), pp. 46–53.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 279-280
-
- Article
- Export citation
R. Sikorski and T. Traczyk. On free products of m-distributive Boolean algebras. Colloquium mathematicum, vol. 11 no. 1 (1963), pp. 13–16.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 414
-
- Article
- Export citation
Allan Lytel. abc's of Boolean algebra. Howard W. Sams & Co., Inc., Indianapolis, and The Bobbs-Merrill Company, Inc., New York, 1963, 112 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 133
-
- Article
- Export citation
Federal Electric Corporation. Boolean algebra. A self-instructional programed manual. Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1966, ix + 246 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 133-134
-
- Article
- Export citation
R. D. Lee. The substitution schema in recursive arithmetic. Notre Dame journal of formal logic, vol. 6 no. 3 (1965), pp. 193–200.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 543
-
- Article
- Export citation
Roland Fraïssé. Sur l'extension aux relations de quelques propriétés des ordres. Annales scientifiques de l'École Normale Supérieure, ser. 3 vol. 71 no. 4 (1954), pp. 363–388. - René de Possel and Roland Fraïssé. Sur certaines suites d'équivalences dans une classe ordonnée, et sur leur application à la définition des parentés entre relations. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, vol. 239 (1954), pp. 940–942. - Roland Fraïssé. Sur certains opérateurs dans les classes de relations. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, vol. 240 (1955), pp. 2109–2110. - Roland Fraïssé. La construction des γ-opérateurs et leur application au calcul logique du premier ordre. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, vol. 240 (1955), pp. 2191–2193. - Roland Fraïssé. Sur quelques classifications des relations, basées sur des isomorphismes restreints. I. Étude générale. Publications scientifiques de l'Université d'Alger, série A, Mathématiques, vol. 2 (1955), pp. 15–60. - Roland Fraïssé. Sur quelques classifications des relations, basées sur des isomorphismes restreints. II. Application aux relations d'ordre, et construction d'exemples montrant que ces classifications sont distinctes. Publications scientifiques de l'Université d'Alger, série A, Mathématiques, vol. 2 (1955), pp. 273–295. - Roland Fraïssé. Sur quelques classifications des relations, basées sur des isomorphismes restreints. III. Comparison des parentés introduites dans la premiére partie avec des parentés précédemment étudiées. Publications scientifiques de l'Université d'Alger, série A, Mathématiques, vol. 3 (1956), pp. 143–159. - Roland Fraïssé. Application des γ-opérateurs au calcul logique du premier échelon. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 (1956), pp. 76–92. - Roland Fraïssé. Étude de certains opérateurs dans les classes de relations, définis à partir d'isomorphismes restreints. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 (1956), pp. 59–75.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 280-281
-
- Article
- Export citation
T. Traczyk. Minimal extensions of weakly distributive Boolean algebras. Colloquium mathematicum, vol. 11 no. 1 (1963), pp. 17–24.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 414-415
-
- Article
- Export citation
Takeo Sugihara. Kindai ronrigaku (Modern logic). Sankibô, Tokyo1960, 134 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 543-544
-
- Article
- Export citation
A. Ehrenfeucht. An application of gaṁes to the completeness problem for formalized theories. Fundamenta mathematicae, vol. 49 (1960), pp. 129–141.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 281-282
-
- Article
- Export citation
M. H. Stone. Free Boolean rings and algebras. Anais da Academia Brasileira de Ciências, vol. 26 (1954), pp. 9–17.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 415
-
- Article
- Export citation
M. L. Cétlin. Matričnyj métod analiza i sintéza eléktronno-impul'snyh i réléno-kontaktnyh (néprimitivnyh) shém (Matrix method of analysis and synthesis of pulse-electronic and relay-contact (non-primitive) circuits). Doklady Akadémii Nauk SSSR, vol. 117 (1957), pp. 979–982.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 134
-
- Article
- Export citation
Leon Henkin and Alfred Tarski. Cylindric algebras. Lattice theory, Proceedings of symposia in pure mathematics, vol. 2, American Mathematical Society, Providence 1961, pp. 83–113.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 415-416
-
- Article
- Export citation
Solomon Feferman. Some recent work of Ehrenfeucht and Fraïssé. 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. 201–209.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 282
-
- Article
- Export citation
Norman M. Martin. Note on the completeness of decision element sets. The Journal of computing systems, vol. 1 no. 4 (1954), p. 220.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 134
-
- Article
- Export citation
Takeo Sugihara. Yôsô ronrigaku kenkyû (A study on modal logic). Sankibô, Tokyo1964, 2 + 188 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 544
-
- Article
- Export citation