Contents
Reviews
Kurt Schütte. Predicative well-orderings. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, edited by J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 280–303. - Kurt Schütte. Eine Grenze fúr die Beweisbarkeit der transfiniten Induktion in der verzweigten Typenlogik. Archiv für mathematische Logik und Grundlagenforschung, vol. 7 (1965), pp. 45–60.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 284-285
-
- Article
- Export citation
B. Á. Falévič. Novyj métod dokazatél'stva téorém népolnoty dlá sistém s pravilom Karnapa i égo Priložénié K voprosu vzaimootnošéniá klassičéskogo i konstruktivnogo analizov (New Method of proof of the incompleteness theorem for systems with Carnap's rule and its application to the question of the relation between classical and constructive analysis). Doklady Akadémii Nauk SSSR, vol. 120 (1958), pp. 1210–1213.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 419
-
- Article
- Export citation
Georg Kreisel. Mathematical logic. Lectures on modern mathematics, vol. 3, edited by T. L. Saaty, John Wiley & Sons, Inc., New York, London, and Sydney, 1965, pp. 95–195.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 419-420
-
- Article
- Export citation
Gerold Stahl. Un développement de la logique des questions. Revue philosophique de la France et de l'Étranger, vol. 153 (1963), pp. 293–301.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 548
-
- Article
- Export citation
Other
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 285-288
-
- Article
- Export citation
Reviews
Tadeusz Kubiński. Przegląd niektórych zagadnień logiki pytań (A review of some problems of the logic of questions). Polish, with Russian and English summaries. Studia logica, vol. 18 (1966), pp. 105–137.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 548-549
-
- Article
- Export citation
Front matter
JSL volume 32 issue 2 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f5
-
- Article
-
- You have access
- Export citation
Reviews
Luis E. Sanchis. Types in combinatory logic. Notre Dame journal of formal logic, vol. 5 no. 3 (1964), pp. 161–180.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 420-421
-
- Article
- Export citation
L. Jonathan Cohen. Can the logic of indirect discourse be formalised?The journal of symbolic logic, vol. 22 (1957), pp. 225–232. - A. N. Prior. Epimenides the Cretan. The journal of symbolic logic, vol. 23 no. 3 (for 1958, pub. 1959), pp. 261–266. - R. L. Goodstein. On the formalisation of indirect discourse. The journal of symbolic logic, vol. 23 no. 4 (for 1958, pub. 1959), pp. 417–419. - L. Jonathan Cohen. Professor Goodstein's formalisation of the policeman. The journal of symbolic logic, vol. 23 no. 4 (for 1958, pub. 1959), p. 420.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 549-550
-
- Article
- Export citation
Charles Sanders Peirce. Scientific method. Collected papers of Charles Sanders Peirce, Volume VII, Science and philosophy, edited and with an introduction by Arthur W. Burks, Harvard University Press, Cambridge, Mass., 1958, Book II, Chapter 1, pp. 37–75.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 421
-
- Article
- Export citation
Patrick Suppes and Shirley Hill. First course in mathematical logic. Blaisdell Publishing Company, New York, Toronto, and London, 1964, ix + 274 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 421-422
-
- Article
- Export citation
L. Jonathan Cohen. Why do Cretans have to say so much?Philosophical studies (Minneapolis), vol. 12 (1961), pp. 72–78. - A. N. Prior. Indirect speech again. Philosophical studies (Minneapolis), vol. 14 (1963), pp. 12–15. - L. Jonathan Cohen. Indirect speech: A rejoinder to Prof. A. N. Prior. Philosophical studies (Minneapolis), vol. 14 (1963), pp. 15–18. - A. N. Prior. Indirect speech and extensionality. Philosophical studies (Minneapolis), vol. 15 (1964), pp. 35–38. - L. Jonathan Cohen. Indirect speech: A further rejoinder to Professor Prior. Philosophical studies (Minneapolis), vol. 15 (1964), pp. 38–40.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 550
-
- Article
- Export citation
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 550-555
-
- Article
- Export citation
Frederick Binford. Solutions to the exercises in First course in mathematical logic. Blaisdell Publishing Company, New York, Toronto, and London, 1965, ix + 173 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 422
-
- Article
- Export citation
Patrick Suppes. Mathematical logic for the schools. The arithmetic teacher, vol. 9 (1962), pp. 396–399. - Patrick Suppes and Frederick Binford. Experimental teaching of mathematical logic in the elementary school. The arithmetic teacher, vol. 12 (1965), Pp. 187–195.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 422
-
- Article
- Export citation
Meeting Report
Meeting of the association for symbolic logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 556-573
-
- Article
- Export citation
Reviews
Flora Dinkines. Elementary concepts of modern mathematics. Appleton-Century-Crofts, Division of Meredith Publishing Company, New York1964, x + 457 pp. - L. R. Sjoblom. Application of Boolean algebra to switching networks. Therein, pp. 183–207.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 422-423
-
- Article
- Export citation
Other
Note fellowship and research opportunities in mathematics
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 573
-
- Article
- Export citation
Reviews
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 423-429
-
- Article
- Export citation
Meeting Report
Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 574-577
-
- Article
- Export citation