Contents
Reviews
L. Kalmár. Über arithmetische Funktionen von unendlich vielen Variablen, welche an jeder Stelle bloss von einer endlichen Anzahl von Variabeln abhängig sind. Colloquium mathematicum, vol. 5 no. 1 (1957), pp. 1–5.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 152
-
- Article
- Export citation
James R. Slagle. Experiments with a deductive question-answering program. Communications of the ACM, vol. 8 (1965), pp. 792–798.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 596
-
- Article
- Export citation
G. S. Céjtin. Odin sposob izložéniá téorii algorifmov i péréčislimyh množéstv (Eine Darstellungsweise der Theorie der Algorithmen und der rekursiv aufzählbaren Mengen). Problémy konstruktivnogo napravléniá v matématiké, 3, Sbornik rabot, hrsg. von N. A. Šanin, Trudy Matématičéskogo Instituta iméni V. A. Stéklova, Heft 72, Izdatél′stvo “Nauka,” Moskau und Leningrad1964, S. 69–98.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 478-479
-
- Article
- Export citation
Raziel Abelson. Definition. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 2, pp. 314–324.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 304
-
- Article
- Export citation
A. N. Prior. Existence. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 3, pp. 141–147.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 304-305
-
- Article
- Export citation
Frederic B. Fitch. Recursive functions in basic logic. The journal of symbolic logic, vol. 21 (1956), pp. 337–346.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 152-153
-
- Article
- Export citation
Paul Axt. Iteration of primitive recursion. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 (1965), pp. 253–255.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 479
-
- Article
- Export citation
James R. Slagle and Philip Bursky. Experiments with a multipurpose, theorem-proving heuristic program. Journal of the Association for Computing Machinery, vol. 15 (1968), pp. 85–99.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 596
-
- Article
- Export citation
S. Summersbee and A. Walters. Programming the functions of formal logic, II (Multivalued logics). Notre Dame journal of formal logic, vol. 4 no. 4 (for 1963, pub. 1964), pp. 293–305.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 596-597
-
- Article
- Export citation
Robert W. Robinson. Simplicity of recursively enumerable sets. The journal of symbolic logic, vol. 32 (1967), pp. 162–172. - Robert W. Robinson. Two theorems on hyperhypersimple sets. Transactions of the American Mathematical Society, vol. 128 (1967), pp. 531–538. - A. H. Lachlan. On the lattice of recursively enumerable sets. Transactions of the American Mathematical Society, vol. 130 (1968), pp. 1–37. - A. H. Lachlan. The elementary theory of recursively enumerable sets. Duke mathematical journal, vol. 35 (1968), pp. 123–146.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 153-155
-
- Article
- Export citation
Paul Axt. Iteration of relative primitive recursion. Mathematische Annalen, vol. 167 (1966), pp. 53–55.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 480
-
- Article
- Export citation
Avrum Stroll. Identity. 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. 121–124. - D. Gardiner. Bibliography. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 4, p. 124.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 305
-
- Article
- Export citation
Helmut Schwichtenberg. Rekursionszahlen und die Grzegorczyk-Hierarchie. Archiv für mathematische Logik und Grundlagenforschung, vol. 12 (1969), pp. 85–97.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 480
-
- Article
- Export citation
Dieter Titgemeyer. Untersuchungen über die Struktur des Kleene-Postschen Halbverbandes der Grade der rekursiven Unlösbarkeit. Archiv für mathematische Logik und Grundlagenforschung, vol. 8 no. 1–2 (1965), pp. 45–62.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 155-156
-
- Article
- Export citation
Richard M. Gale. Indexical signs, egocentric particulars, and token-reflexive words. 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. 151–155.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 305-306
-
- Article
- Export citation
A. Porter and P. K. T. Vaswani. The optimization of logical goal-seeking procedures. Journal of electronics and control, ser. 1 vol. 6 (1959), pp. 168–185.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 597
-
- Article
- Export citation
Paul Axt. Relativization of a primitive recursive hierarchy. Mathematische Annalen, vol. 152 (1963), pp. 159–163.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 480
-
- Article
- Export citation
Sampo Salovaara. On set theoretical foundations of system theory. A study of the state concept. Acta polytechnica Scandinavica, Mathematics and computing machinery series no. 15, Finnish Academy of Technical Sciences, Helsinki1967, 78 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 597
-
- Article
- Export citation
Joseph Barback. A note on regressive isols. Notre Dame journal of formal logic, vol. 7 (1966), pp. 203–205.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 156
-
- Article
- Export citation
William P. Alston. Language, philosophy of. 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. 386–390.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 306
-
- Article
- Export citation