Reviews
Jan Kalicki and Dana Scott. Equational completeness of abstract algebras. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 58 (1955), pp. 650–659; also Indagationes mathematicae, vol. 17 (1955), pp. 650–659.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 56-57
-
- Article
- Export citation
Dana Scott. Equationally complete extensions of finite algebras. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 59 (1956), pp. 35–38; also Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 18 (1956), pp. 35–38.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 57
-
- Article
- Export citation
Alfred Tarski. Equationally complete rings and relation algebras. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 18 (1956), pp. 39–46; also Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 18 (1956), pp. 39–46.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 57
-
- Article
- Export citation
A. H. Copeland Sr. Note on cylindric algebras and polyadic algebras. Michigan mathematical journal, vol. 3 (1955–1956) pp. 155–157.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 57-58
-
- Article
- Export citation
A. H. CopelandSr. and Frank Harary. A characterization of implicative Boolean rings. Canadian journal of mathematics, vol. 5 (1953), pp. 465–469.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 58
-
- Article
- Export citation
W. V. Quine. A theorem on parametric Boolean functions. U.S. Air Force Project RAND, RM–196, 27 071949, 4 pp. - W. V. Quine. Commutative Boolean functions. U.S. Air Force Project RAND, RM–199, 10 081949, 5 pp. - W. V. Quine. On functions of relations, with especial reference to social welfare. U.S. Air Force Project RAND, RM–218, 19 081949, 15 pp. - S. C. Kleene. Representation of events in nerve nets and finite automata. U.S. Air Force Project RAND, RM–704, 15 121951, ii + 98 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 58-59
-
- Article
- Export citation
John McCarthy and Claude Shannon. Preface. Automata studies, edited by C. E. Shannon and J. McCarthy, Annals of Mathematics studies no. 34, lithoprinted, Princeton University Press, Princeton1956, pp. v–viii. - S. C. Kleene. Representations of events in nerve nets and finite automata. Automata studies, edited by C. E. Shannon and J. McCarthy, Annals of Mathematics studies no. 34, lithoprinted, Princeton University Press, Princeton1956, pp. 3–41.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 59-60
-
- Article
- Export citation
Edward F. Moore. Gedanken-experiments on sequential machines. Automata studies, edited by C. E. Shannon and J. McCarthy, Annals of Mathematics studies no. 34, litho-printed, Princeton University Press, Princeton1956, pp. 129–153.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 60
-
- Article
- Export citation
Mochinori Goto, Yasuo Komamiya, Ryota Suekane, Masahide Takagi, and Shigeru Kuwabara. Theory and structure of the automatic relay computer E. T. L. Mark II. Researches of the Electrotechnical Laboratory, no. 556. Electrotechnical Laboratory, Agency of Industrial Science and Technology, Tokyo1956, ix + 214 pp. and 37 plates.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 60
-
- Article
- Export citation
Antonin Svoboda. Graphico-mechanical aids for the synthesis of relay circuits. Aktuelle Probleme der Rechentechnik, Deutscher Verlag der Wissenschaften, Berlin1957, pp. 43–50.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 60-61
-
- Article
- Export citation
František Svoboda. Polosamočinný pokusný stroj na analysu a synthesu reléových obvodů (A semiautomatic experimental machine for the analysis and synthesis of relay circuits). Czechic, with summaries in Russian and English. Stroje na zpracováni informaci, vol. 4 (1956), pp. 23–52. - F. Svoboda. Sintéz réléjnyh shém pri pomošči mašin (Automatic synthesis of relay circuits). Russian, with English summary. Avtomatika i téléméhanika, vol. 18 (1957), pp. 240–255.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 61
-
- Article
- Export citation
G. N. Povarov. Métod sintéza vyčislitél'nyk i upravláúščih kontaktnyh shém (A method for synthesis of computing and controlling contact circuits). Russian, with English summary. Avtotnatika i téléméhanika, vol. 18 (1957), pp. 145–162.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 61-62
-
- Article
- Export citation
William G. Leavitt. Boolean algebra and circuit analysis. Nebraska blue print, vol. 52 no. 5 (1952), pp. 13, 14, 28.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 62
-
- Article
- Export citation
M. S. Leavitt. Algebras de Boole e análise de circuitos. Portuguese translation of the foregoing by Maria Pilar Ribeiro. Gazeta de matemática, vol. 14 no. 55 (1953), pp. 4–7. - Jacques Riguet. Sur les rapports entre les concepts de machine de multipole et de structure algébrique. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 237 (1953), pp. 425–427. - Jacques Riguet. Algorithmes de Markov et théorie des machines. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 242 (1956), pp. 435–437.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 62
-
- Article
- Export citation
W. Mays and D. P. Henry. Jevons and logic. Mind, n.s. vol. 62 (1953), pp. 484–505.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 62-63
-
- Article
- Export citation
William Tuthill Parry. A new symbolism for the propositional calculus. The journal of symbolic logic, vol. 19 (1954), pp. 161–168. See errata, William Tuthill Parry. A new symbolism for the propositional calculus. The journal of symbolic logic, vol. 19 (1954), p. vi. - Gerald B. Standley. Ideographic computation in the propositional calculus. The journal of symbolic logic, vol. 19 (1954), pp. 169–171.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 63
-
- Article
- Export citation
D. P. Henry. Expressions trivially decidable. The journal of computing systems, vol. 1 no. 4 (1954), pp. 221–224.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 63-64
-
- Article
- Export citation
Naoto Yonemitsu. A note on modal systems (II). Memoirs of the Osaka University of the Liberal Arts and Education, B. Natural science, no. 6 (1957), pp. 9–10.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 64
-
- Article
- Export citation
Takeo Sugihara. Four-valued propositional calculus with one designated truth value. The memoirs of Liberal Arts College, Fukui University, ser. I vol. 5 (1956), pp. 41–48.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 64
-
- Article
- Export citation
Alan Rose. Fragments of the m-valued propositional calculus. Mathematische Zeitschrift, vol. 59 no. 2 (1953), pp. 206–210.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 64-65
-
- Article
- Export citation