Contents
Reviews
Garrett Birkhoff and Saunders MacLane. Algebra of classes. A survey of modern algebra, revised edition, by Garrett Birkhoff and Saunders MacLane, The Macmillan Company, New York1953, pp. 335–355.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 140
-
- Article
- Export citation
Erik Götlind. A note on Chwistek and Helper's foundation of formal metamathematics. Den 11te Skandinaviske Matematikerkongress i Trondheim 22-25 August 1949, Johan Grundt Tanums Forlag, Oslo1952, pp. 268–270.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 140
-
- Article
- Export citation
Claude E. Shannon, Computers and automata. Proceedings of the I.R.E., vol. 41 (1953), pp. 1234–1241.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 140-141
-
- Article
- Export citation
Claude E. Shannon and Edward F. Moore. Machine aid for switching circuit design. Proceedings of the I.R.E., vol. 41 (1953), pp. 1348–1351.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 141
-
- Article
- Export citation
Arthur W. Burks and Jesse B. Wright. Theory of logical nets. Proceedings of the I.R.E., vol. 41 (1953), pp. 1357–1365.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 141-142
-
- Article
- Export citation
Robert Serrell. Elements of Boolean algebra for the study of information-handling systems. Proceedings of the I.R.E., vol. 41 (1953), pp. 1366–1380. - Robert Serrell. Correction. Proceedings of the I.R.E., vol. 42 (1954), p. 475.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 142
-
- Article
- Export citation
W. V. Quine. Two theorems about truth-functions. Boletín de la Sociedad Matemática Mexicana, vol. 10 no. 1–2 (1953), pp. 64–70.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 142-143
-
- Article
- Export citation
Norman M. Martin. On completeness of decision element sets. The journal of computing systems, vol. 1 no. 3 (1953), pp. 150–154.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 143
-
- Article
- Export citation
John D. Goodell. Notes on decision element systems using various practical techniques. The journal of computing systems, vol. 1 no. 3 (1953), pp. 196–199.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 143
-
- Article
- Export citation
Carew A. Meredith. Single axioms for the systems (C, N), (C, O) and (A, N) of the two-valued propositional calculus. The journal of computing systems, vol. 1 no. 3 (1953), pp. 155–164.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 143-144
-
- Article
- Export citation
Caréw A. Meredith. A single axiom of positive logic. The journal of computing systems, vol. 1 no. 3 (1953), pp. 169–170.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 144
-
- Article
- Export citation
Alan Rose. A formalization of Sobocinski's three-valued implicational propositional calculus. The journal of computing systems, vol. 1 no. 3 (1953), pp. 165–168.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 144
-
- Article
- Export citation
F. H. George. Logical constructs and psychological theory. The psychological review, vol. 60 (1953), pp. 1–6.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 145
-
- Article
- Export citation
Louis O. Kattsoff. Facts, phenomena, and frames of reference in psychology. The psychological review, vol. 60 (1953), pp. 40–44.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 145
-
- Article
- Export citation
Jack L. Maatsch and Richard A. Behan. A more rigorous theoretical language. The psychological review, vol. 60 (1953), pp. 189–196.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 145
-
- Article
- Export citation
F. H. George. Formalization of language systems for behavior theory. The psychological review, vol. 60 (1953), pp. 232–240.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 145
-
- Article
- Export citation
Joe Adams. Concepts as operators. The psychological review, vol. 60 (1953), pp. 241–251.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 145
-
- Article
- Export citation
Richard A. Behan. Expectancies and Hullian theory. The psychological review, vol. 60 (1953), pp. 252–256.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 145-146
-
- Article
- Export citation
Haskell B. Curry. Leçons de logique algébrique. With a preface by Robert Feys. Collection de logique mathématique, série A. Lithographed. Gauthier-Villars, Paris; E. Nauwelaerts, Louvain; 1952, 163 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 146-147
-
- Article
- Export citation
Irving M. Copi. Introduction to logic. The Macmillan Company, New York1953, xvi + 472 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 147-148
-
- Article
- Export citation