Contents
Reviews
G. Kreisel. Remark on complete interpretations by models. Archiv für mathematische Logik und Grundlagenforschung, vol. 2 no. 1 (1954), pp. 4–9; also Archiv für Philosophie, vol. 5 no. 1 (1954), pp. 84–89.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 169
-
- Article
- Export citation
G. Kreisel. Gödel's intepretation of Heyting's arithmetic. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 125–133. - G. Kreisel. Relations between classes of constructive functional. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 292–302. - Georg Kreisel. Interpretation of analysis by means of constructive functional of finite types. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by A. Heyting, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 101–128.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 169-171
-
- Article
- Export citation
Bruce Lercher. Strong reduction and normal form in combinatory logic. The journal of symbolic logic, vol. 32 (1967), pp. 213–223.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 171
-
- Article
- Export citation
Roger Hindley. Axioms for strong reduction in combinatory logic. The journal of symbolic logic, vol. 32 (1967), pp. 224–236. - Bruce Lercher. The decidability of Hindley's axioms for strong reduction. The journal of symbolic logic, vol. 32 (1967), pp. 237–239.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 171-172
-
- Article
- Export citation
W. E. Singletary. Results regarding the axiomatization of partial prepositional calculi. Notre Dame journal of formal logic, vol. 9 no. 3 (for 1968, pub. 1969), pp. 193–211.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 172
-
- Article
- Export citation
Eugen Mihăilescu. Les formes normales dans le calcul bivalent des propositions. French with Russian and English summaries. Analele Universitătii C. I. Parhon (Bucharest), seria Acta logica, vol. 2 (1959), pp. 201-227.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 172-173
-
- Article
- Export citation
Eugen Mihăilescu. Sur quelques théorèmes de la logique classique. Revue de mathématiques pures et appliquées, vol. 4 no. 2 (1959), pp. 233–248.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 173
-
- Article
- Export citation
Eugen Mihăilescu. Sur quelques théorèmes dans les calculs des propositions bivalentes. Analele Universitătii C. I. Parhon (Bucharest), seria Acta logica, vol. 3 (1960), pp. 105–115.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 173
-
- Article
- Export citation
R. A. Bull. An algebraic study of tense logics with linear time. The journal of symbolic logic, vol. 33 (1968), pp. 27–38. - R. A. Bull. Note on a paper in tense logic. The journal of symbolic logic, vol. 34 (1969), pp. 215–218.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 173
-
- Article
- Export citation
G. E. M. Anscombe. Before and after. The philosophical review, vol. 73 (1964), pp. 3–24.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 173-175
-
- Article
- Export citation
Robert Blanché. Sur l'interprétation du κυριεύων λóyоς. Revue philosophique de la France et de l'Étranger, vol. 155 (1965), pp. 133–149.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 175
-
- Article
- Export citation
John King-Farlow. Sea-fights without tears. Analysis (Oxford), vol. 19 no. 2 (1958), pp. 36–42. - John King-FarlowMr. Bradley and the libertarians. The Australasian journal of philosophy, vol. 37 (1959), pp. 234–238.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 175-177
-
- Article
- Export citation
Hilary Putnam. Minds and machines. Minds and machines, edited by Alan Ross Anderson, Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1964, pp. 72–97. (Reprinted fron Dimensions of mind, A symposium, edited by Sidney Hook, New York University Press, New York 1960, pp. 148–179.)
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 177
-
- Article
- Export citation
Gustav Bergmann. Propositional functions. Analysis (Oxford), vol. 17 no. 2 (1956), pp. 43–48. - Edwin B. Allaire. Types and formation rules: a note on Tractatus 3.334. Analysis (Oxford), vol. 21 no. 1 (1960), pp. 14–16.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 177-178
-
- Article
- Export citation
R. M. Martin. On theoretical constructs and Ramsey constants. Philosophy of science, vol. 33 (1966), pp. 1–13.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 178
-
- Article
- Export citation
Rudolf Carnap. Intellectual autobiography. The philosophy of Rudolf Carnap, edited by Paul Arthur Schilpp, The library of living philosophers, vol. 11, Open Court, La Salle, III., and Cambridge University Press, London, 1963, pp. 1–84.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 178-179
-
- Article
- Export citation
David Rynin. The autonomy of morals. Mind, n.s. vol. 66 (1957), pp. 308–317. - R. F. Atkinson. The autonomy of morals. Analysis (Oxford), vol. 18 no. 3 (1958), pp. 57–62.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 179-180
-
- Article
- Export citation
R. M. Hare. The language of morals.Clarendon Press, Oxford1952, viii + 202 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 180-181
-
- Article
- Export citation
H. D. Sluga. Some remarks on deontics. Theoria (Lund), vol. 29 (1963), pp. 70–78.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 181-182
-
- Article
- Export citation
Jan Berg. A note on deontic logic. Mind, n.s. vol. 69 (1960), pp. 566–567.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 182
-
- Article
- Export citation