Reviews
Alonzo Church. Introduction to mathematical logic. Volume I. Second printing. Princeton University Press, Princeton1958, x + 378 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 362
-
- Article
- Export citation
Rózsa Péter. Rekursive Funktionen. Second, enlarged edition. Verlag der Ungarischen Akademie der Wissenschaften, Budapest1957, 278 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 362-363
-
- Article
- Export citation
Montgomery PhisterJr., Logical design of digital computers. John Wiley & Sons, Inc., New York1958, and Chapman & Hall, Limited, London 1958, xvi + 408 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 363-365
-
- Article
- Export citation
M. Touchais. Les applications techniques de la logique. With a preface by G. Lehmann. Dunod, Paris, 1956 XX + 82 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 365-366
-
- Article
- Export citation
James T. Culbertson. Mathematics and logic for digital devices. D. Van Nostrand Company, Inc., Princeton, N. J., New York, Toronto, and London1958, x + 224 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 366
-
- Article
- Export citation
Yasuo Komamiya. Theory of computing relay-networks. Proceedings of the First Japan National Congress for Applied Mechanics 1951, Japan National Committee for Theoretical and Applied Mechanics, Science Council of Japan, Tokyo1952, pp. 527–532.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 366
-
- Article
- Export citation
Hans Rohleder. Der dreiwertige Aussagenkalkül der theoretischen Logik und seine Anwendung zur Beschreibung von Schaltungen, die aus Elementen mit zwei stabilen Zustanden besiehen. Zeitschrift für angewandte Mathematik und Mechanik, vol. 34 (1954), pp. 308–311.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 366-367
-
- Article
- Export citation
M. A. Gavrilov. Métody sintéza réléjno-kontaktnyh shém (Methods of synthesis of relay-contact networks). Eléktričéstvo, no. 2 (1946), pp. 54–59.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 367
-
- Article
- Export citation
M. A. Gavrilov. Réléjnyé shémy s véntl'nymi sétkami (Relay networks with rectifiers). Avtomatika i tétémhanika, vol. 16 (1955), pp. 328–343.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 367
-
- Article
- Export citation
Other
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 367-368
-
- Article
- Export citation
Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 368
-
- Article
- Export citation
Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 368
-
- Article
- Export citation
Front matter
JSL volume 23 issue 3 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Back matter
JSL volume 23 issue 3 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-f2
-
- Article
-
- You have access
- Export citation