Reviews
Arnold Schmidt. Die Zulässigkeit der Behandlung mehrsortiger Theorien mittels der üblichen einsortigen Prädikatenlogik. Mathematische Annalen, vol. 123 (1951), pp. 187–200.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 76
-
- Article
- Export citation
W. V. Quine. On natural deduction. The journal of symbolic logic, vol. 15 (1950), pp. 93–102. See erratum, ibid., p. iv.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 76-77
-
- Article
- Export citation
A. Natucci. 2 + 2 fanno 4. Periodico di matematiche, ser. 4 vol. 29 (1951), pp. 198–204.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 77
-
- Article
- Export citation
D. B. McCallum and J. B. Smith. Mechanized reasoning—logical computers and their design. Electronics engineering, vol. 23 (1951), pp. 126–133.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 77
-
- Article
- Export citation
W. Mays, C. E. M. Hansel, D. P. Henry. Note on the exhibition of logical machines at the joint session, July 1950. Mind, n.s. vol. 60 (1951), pp. 262–264.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 77-78
-
- Article
- Export citation
Edmund C. Berkeley. The relations between symbolic logic and large-scale calculating machines. Science, vol. 112 (1950), pp. 395–399.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 78
-
- Article
- Export citation
Other
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 78-80
-
- Article
- Export citation
Front matter
JSL volume 17 issue 1 Cover and Front matter and Errata
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f5
-
- Article
-
- You have access
- Export citation