Contents
Reviews
Th. Skolem. The logical background of arithmetic. Bulletin de la Société Mathématique de Belgique, vol. 6 (for 1953, pub. 1954), pp. 23–34.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 228
-
- 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
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
Th. Skolem. Some considerations concerning recursive arithmetic. Bulletin de la Société Mathématique de Belgique, vol. 6 (for 1953, pub. 1954), pp. 35–46.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 228
-
- Article
- Export citation
A. Heyting. Espace de Hilbert et intuitionnisme. Les méthodes formelles en axiomatique, Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, pp. 59–63. - Paul Bernays, H. Hermes, A. Heyting, Ingebrigt Johansson, Abraham Robinson. Discussion. Les méthodes formelles en axiomatique, Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, p. 64.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 228-229
-
- 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
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
G. Kreisel and H. Putnam. Eine Unableitbarkeitsbeweismethode für den intuitionistischen Aussagenkalkül. Archiv für mathematische Logik und Grundlagenforschung, vol. 3 (1957), pp. 74–78.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 229
-
- 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
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
Paul Lorenzen. Zur Interpretation der Syllogistik. Archiv für mathematische Logik und Grundlagenforschung, Bd. 2, Heft 2–4 (1956), S. 100–103; auch Archiv für Philosophie, Bd. 5, Heft 4 (1956), S. 420–423.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 229-230
-
- 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
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
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
Zdzisław Kraszewski. Logika stosunków zakresowych (rachunek zdań, zakresowych). Studio logica, Bd. 4 (1956), S. 63–87. - Z. Kraszewski. Logika obémnyh otnošénij (isčislénie obémnyh prédložénij). Russische Übersetzung des Vorhergehenden. Studio logica, Bd. 4 (1956), S. 88–115. - Z. Kraszewski. Logic of extensional relations. Englischer Auszug desselben. Studio logica, Bd. 4 (1956), S. 116.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 230-231
-
- 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
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
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
V. I. Šéstakov. Algébraičéskij métod analiza avtonomnyh sistém dvuhpozicionnyh rélé. I. (An algebraic method of analysis of autonomic systems of two-positional relays. I.) Avtomatika i téléméhanika, vol. 15 (1954), pp. 107–123.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 231-233
-
- Article
- Export citation
V. N. Roginskij. Učét néispol′zuémyh sostoánij pri sintézé réléjno-kontaktnyh shém (Calculation of the unutilized states in the synthesis of switching circuits). Avtomatika i téléméhanika, vol. 15 (1954), pp. 206–222.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 233
-
- Article
- Export citation