Contents
Reviews
Hartley RogersJr., Theory of recursive functions and effective computability. Volume I. Mimeographed. Technology Store, Cambridge, Mass., 1957, pp. i–xiv, 1–15, 15a, 16–20, 20a, 21–121, 121–155.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 70
-
- Article
- Export citation
J. Porte. La logique mathématique et le calcul mécanique. Association Amicale des Ingénieurs de la Statistique et des Études Économiques, Bulletin (Paris), no. 28 (1955), pp. 21–43, and no. 29–30 (1956), pp. 43–63.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 70
-
- Article
- Export citation
Jean Chauvineau. La logique moderne. Presses Universitaires de France, Paris1957, 128 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 70-71
-
- Article
- Export citation
Robert Blanché. Introduction à la logique contemporaine. Librairie Armand Colin, Paris1957, 208 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 71
-
- Article
- Export citation
N. Bourbaki. Théorie des ensembles. Éléments de Mathématique, Première partie, Livre I, Chapitres I, II. Actualités scientifiques et industrielles 1212. Hermann & Cie, Paris1954, title pages + 136 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 71-73
-
- Article
- Export citation
Setsuya Seki. Kisoron (Foundations of mathematics). Oyama-Syoten, Tiyoda-Huzimityô, Tokyo1955, 71 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 73
-
- Article
- Export citation
Setsuya Seki. Syûgôron nyûmon (Introduction to set theory). Baifukan, Kanda-Nisikityô, Tokyo1957, 172 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 73
-
- Article
- Export citation
Makoto Itoh. Ippan isô-Boole-soku ni tuite (On the general topological Boolean lattice). Kyûsyû Daigaku kôgaku syûhô (Technology reports of the Kyushu University) (Fukuoka), vol. 29 no. 4 (1957), pp. 261–264.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 73-74
-
- Article
- Export citation
Makoto Itoh. Tagen-Boole-hôteisiki to kakutyô sareta Poretsky no kôsiki ni tutte (On the Boolean equation with many variables and the extended Poretsky formula). Kyûsyû Daigaku kôgaku syûhô (Technology reports of the Kyushu University) (Fukuoka), vol. 30 no. 3 (1957), pp. 211–213.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 74
-
- Article
- Export citation
Makoto Itoh. Sequential switch kairo no kihon hôteisiki (Fundamental equation for sequential switching circuits). Kyûsyû Daigaku kôgaku syûhô (Technology reports of the Kyushu University) (Fukuoka), vol. 30 no. 3 (1957), pp. 225–228.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 74
-
- Article
- Export citation
Gr. C. Moisil. Sur la théorie algébrique de certains circuits électriques. Journal de mathématiques pures et appliquées, vol. 36 no. 4 (1957), pp. 313–324.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 74
-
- Article
- Export citation
Gene W. Arant. A time-sequential tabular analysis of flip-flop logical operation. Transactions of the Institute of Radio Engineers Professional Group on Electronic Computers, vol. EC-6 no. 4 (1957), pp. 72–74.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 74
-
- Article
- Export citation
Á. I. Méklér. Péréhodnyé režimy v réléjno-kontaktnyh shémah (Transient process in relay-contact circuits). Avtomattka t téléméhanika, vol. 18 (1957), pp. 59–70.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 74-75
-
- Article
- Export citation
S. V. Áblonskij. O klassah funkcij algébry logiki, dopuskaúščih prostuú shémnuú realizáciú (On classes of functions of the algebra of logic admitting a simple network realization). Uspéhi matématičéskih nauk, vol. 12 no. 6 (1957), pp. 189–196.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 75-76
-
- Article
- Export citation
O. B. Lupanov. O vozmožnostáh sintéza shém iz raznoobraznyh eléméntov. Doklady Akadémii Nauk SSSR, vol. 103 (1955), pp. 561–563. - O. B. Lupanov. On the possibilities of designing circuits out of various elements. English translation of the preceding. Multilith-offset. Morris D. Friedman, Inc., Needham Heights, Mass., c. 1957, 5 pp. - O. B. Lupanov. O sintézè kontaktnyh shém. Doklady Akadémii Nauk SSSR, vol. 119 (1958), pp. 23–26. - O. B. Lupanov. On the synthesis of contact circuits. English translation of the preceding. Multilith-offset. Morris D. Friedman, Inc., Needham Heights, Mass., 1958, 5 pp. - O. B. Lupanov. On the synthesis of contact networks. English translation of the same. Automation express, vol. 1 no. 3 (1958), pp. 7–8.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 76
-
- Article
- Export citation
V. M. Ostianu. O sintézé kontaktnyh shém s šagovymi péréklúčatélámi. Doklady Akadémii Nauk SSSR, vol. 103 (1955), pp. 827–830. - V. M. Ostianu. On the synthesis of switching circuits with selector switches. English translation of the preceding. Multilith-offset. Morris D. Friedman, Inc., Needham Heights, Mass., c. 1957, 7 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 76-77
-
- Article
- Export citation
Rene A. Higonnet and Rene A. Grea. Logical design of electrical circuits. McGraw-Hill Book Company, New York-Toronto-London1958, ix + 220 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 77-78
-
- Article
- Export citation
Edward F. Moore. Table of four-relay contact networks. Therein, pp. 195–216.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 78
-
- Article
- Export citation
W. L. van der Poel. Enige bijzondere onderwerpen uit de schakelalgebra (Some selected topics on switching algebra). De ingenieur (Utrecht), vol. 67 no. 1 (1955), pp. E.9–E.14.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 78
-
- Article
- Export citation
Martin Gardner. Logic machines and diagrams. McGraw-Hill Book Company, Inc., New York-Toronto-London1958, ix + 157 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 78-79
-
- Article
- Export citation