Reviews
George Goe. Three axiom negation-alternation formulations of the truth-functional calculus. Notre Dame journal of formal logic, t. 5 n° 2 (1964), p. 129–132.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 606
-
- Article
- Export citation
M. M. Kipnis. Ob odnom svojstvé propozicionaľnyh formul. Doklady Akadémii Nauk SSSR, vol. 174 (1967), pp. 277–278. - M. M. Kipnis. A property of prepositional formulas. English translation of the preceding by S. Walker. Soviet mathematics, vol. 8 no. 3 (1967), pp. 620–622.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 606
-
- Article
- Export citation
É. Ú. Zaharova. Ob odnom dostatočnom uslovii polnoty v Pκ (On a sufficient condition for completeness in Pκ). Problémy kibérnétiki, vol. 16 (1966), pp. 239–244.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 606
-
- Article
- Export citation
É. Ú. Zaharova. Kritérij polnoty sistém funkcij iz Pκ (Criteria of completeness for systems of functions from Pκ). Problémy kibérnétiki, vol. 18 (1967), pp. 5–10.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 606-607
-
- Article
- Export citation
Toshio Umezawa. On logics intermediate between intuitionistic and classical predicate logic. The journal of symbolic logic, vol. 24 no. 2 (for 1959, pub. 1960), pp. 141–153.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 607
-
- Article
- Export citation
A. S. Troelstra. On intermediate propositional logics. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 68 (1965), pp. 141–152; also Indagationes mathematicae, vol. 27 (1965), pp. 141–152.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 607
-
- Article
- Export citation
M. Hanazawa. A characterization of axiom schema playing the rôle of tertium non datur ir intuitionistic logic. Proceedings of the Japan Academy, vol. 42 (1966), pp. 1007–1010.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 607-608
-
- Article
- Export citation
Alan Ross Anderson and Nuel D. BelnapJr., Tautological entailments. Philosophical studies (Minneapolis), vol. 13 (1962), pp. 9–24.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 608
-
- Article
- Export citation
L. L. Maksimova. Nékotoryé voprosy isčisléniá Akkérmana. Doklady Akademii Nauk SSSR, vol. 175 (1967), pp. 1222–1224. - L. L. Maksimova. Some problems of the Ackermann calculus. English translation of the preceding by A. Yablonsky. Soviet mathematics, vol. 8 no. 4 (1967), pp. 997–999.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 608-610
-
- Article
- Export citation
A. N. Prior. Escapism: the logical basis of ethics. Essays in moral philosophy, edited by A. I. Melden, University of Washington Press, Seattle1958, pp. 135–146; and paper-bound edition, University of Washington Press, Seattle and London 1966, pp. 135–146.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 610-611
-
- Article
- Export citation
P. H. Nowell-Smith and E. J. Lemmon. Escapism: the logical basis of ethics.Mind, n.s. vol. 69 (I960), pp. 289–300.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 611-612
-
- Article
- Export citation
H. N. Castaneda. Obligation and modal logic. Logique et analyse, n.s. vol. 3 (1960), pp. 40–48.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 612
-
- Article
- Export citation
Thomas S. Knight. Questions and universals. Philosophy and phenomenological research, vol. 27 no. 4 (1967), pp. 564–576.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 612-613
-
- Article
- Export citation
Nicholas Rescher. Non-deductive rules of inference and problems in the analysis of inductive reasoning. Synthese, vol. 13 (1961), pp. 242–251.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 613
-
- Article
- Export citation
R. Montague. Mr. Bradley on the future. Mind, n.s. vol. 69 (1960), pp. 550–554.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 613
-
- Article
- Export citation
J. R. Lucas. Minds, machines and Gödel. Philosophy, vol. 36 (1961), pp. 112–127. - Paul Benacerraf. God, the devil, and Gödel. The Monist, vol. 51 (1967), pp. 9–32.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 613-615
-
- Article
- Export citation
Jules Vuillemin. De la logique à la théologie. Cinq études sur Aristote.Flammarion, Paris1967, 235 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 615
-
- Article
- Export citation
E. J. Lemmon. On sentences verifiable by their use. Analysis (Oxford), vol. 22 no. 4 (1962), pp. 86–89. - Jaakko Hintikka. Cogito, ergo sum: inference or performance?The philosophical review, vol. 71 (1962), pp. 3–32.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 615-616
-
- Article
- Export citation
Jaakko Hintikka. Kantin oppi matematiikasta: Tutkimuksia sen peruskäsitteistä, rakenteesta ja esikuvista (Kant's doctrine of mathematics: Studies of its basic concepts, its structure, and its sources). Ajatus, vol. 22 (1959), pp. 5–85.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 616-618
-
- Article
- Export citation
Evert W. Beth. The foundations of mathematics. A study in the philosophy of science. Second, revised, edition of XXVII 73. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1965, xxviii + 741 pp. - Evert W. Beth. The foundations of mathematics. A study in the philosophy of science. A paper-bound reprint of the foregoing. Harper & Row, New York1966, xxviii + 741 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 618
-
- Article
- Export citation