Contents
Reviews
L. J. Russell. Leibniz, Gottfried Wilhelm. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 4, pp. 422–434.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 306
-
- Article
- Export citation
Michael Anderson. Approximation to a decision procedure for the halting problem. Notre Dame journal of formal logic, vol. 9 no. 4 (for 1968, pub. 1969), pp. 305–312.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 480
-
- Article
- Export citation
Chen Chuan Chong. An application of electric circuits in mathematical logic. Majallah Tahunan ‘Ilmu Pasti—Shu Hsiieh Nien K'an—Bulletin of Mathematical Society of Nanyang University (1963), pp. 119–126.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 597
-
- Article
- Export citation
Joseph Barback. Double series of isols. Canadian journal of mathematics, vol. 19 (1967), pp. 1–15.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 156
-
- Article
- Export citation
Joseph Barback. Regressive upper bounds. Rendiconti del Seminario Matematico della Università di Padova, vol. 39 (1967), pp. 248–272.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 156-157
-
- Article
- Export citation
M. L. Minsky. Some universal elements for finite automata. Automata studies, edited by C. E. Shannon and J. McCarthy, Annals of Mathematics studies no. 34, lithoprinted, Princeton University Press, Princeton1956, pp. 117–128.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 480-481
-
- Article
- Export citation
Abstract
Meeting of the Association for Symbolic Logic, Manchester 1969
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 598-612
-
- Article
- Export citation
Reviews
William P. Alston. Meaning. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 5. 233–241.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 306-307
-
- Article
- Export citation
Other
Summer school and colloquium in logic first communication
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 613
-
- Article
- Export citation
Reviews
John Hick. Ontological argument for the existence of God. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 5 pp. 538–542.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 307
-
- Article
- Export citation
Joseph Barback. An md-class of sets indexed by a regressive function. The journal of the Australian Mathematical Society, vol. 7 (1967), pp. 301–310.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 157
-
- Article
- Export citation
John McCarthy. The inversion of functions defined by Turing machines. Automata studies, edited by C. E. Shannon and J. McCarthy, Annals of Mathematics studies no. 34, lithoprinted, Princeton University Press, Princeton1956, pp. 177–181.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 481
-
- Article
- Export citation
K. de Leeuw, E. F. Moore, C. E. Shannon, and N. Shapiro. Computability by probabilistic machines. Automata studies, edited by C. E. Shannon and J. McCarthy, Annals of Mathematics studies no. 34, lithoprinted, Princeton University Press, Princeton1956, pp. 183–212.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 481-482
-
- Article
- Export citation
R. O. Gandy. Computable functionals of finite type I. Sets, models and recursion theory. Proceedings of the Summer School In Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by John N. Crossley, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 202–242.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 157-158
-
- Article
- Export citation
Other
Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 614-653
-
- Article
- Export citation
Reviews
Avrum Stroll. Presupposing. Bibliographic assistance by J. Ornstein. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 6, pp. 446–449.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 307
-
- Article
- Export citation
Other
Index of reviews by subjects
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 654-708
-
- Article
- Export citation
Reviews
John R. Searle. Proper names and descriptions. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 6, pp. 487–491.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 307
-
- Article
- Export citation
Michael Arbib. Turing machines, finite automata and neural nets. Journal of the Association for Computing Machinery, vol. 8 (1961), pp. 467–475.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 482
-
- Article
- Export citation
R. M. Baer. Certain directed Post systems and automata. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 (1967), pp. 151–174.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 158-159
-
- Article
- Export citation