Contents
Reviews
Peter Achinstein. Theoretical terms and partial interpretation. The British journal for the philosophy of science, vol. 14 (1963–1964), pp. 89–105.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 321-322
-
- Article
- Export citation
Patrick Suppes and Joseph L. Zinnes. Basic measurement theory. Handbook of mathematical psychology, Volume I, edited by R. Duncan Luce, Robert R. Bush, and Eugene Galanter, John Wiley and Sons, Inc., New York and London1963, pp. 1–76.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 322-323
-
- Article
- Export citation
Alan Ross Anderson. What do symbols symbolize?: Platonism. Philosophy of science, The Delaware seminar, Volume 1, 1961–1962, edited by Bernard Baumrin, Interscience Publishers, New York and London1963, pp. 137–151. - A. R. Anderson, B. Baumrin, W. Busse, T. Bynum, R. D. Gray, W. McCormack, W. Reese. Discussion. Philosophy of science, The Delaware seminar, Volume 1, 1961–1962, edited by Bernard Baumrin, Interscience Publishers, New York and London1963, pp. 151–158.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 323
-
- Article
- Export citation
E. J. Ashworth. Propositional logic in the sixteenth and early seventeenth centuries. Notre Dame journal of formal logic, vol. 9 no. 2 (for 1968, pub. 1969), pp. 179–192. - E. J. Ashworth. Petrus Fonseca and material implication. Notre Dame journal of formal logic, vol. 9 no. 3 (for 1968, pub. 1969), pp. 227–228.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 323-324
-
- Article
- Export citation
James G. ColbertJr., La evolución de la lógica simbólica y sus implicaciones filosóficas. Ediciones Universidad de Navarra, S.A., Pamplona1968, 341 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 324-325
-
- Article
- Export citation
E. W. Beth. I fondamenti logici della matematica. Italian translation by Ettore Casari of XXV 269. Feltrinelli Editore, Milan1963, XIII + 335 pp. - Ettore Casari. Prefazione del traduttore. Therein, pp. VII–XIII. - E. W. Beth. Osservazioni sulla deduzione naturale. Italian translation by Ettore Casari of XXII 360(3). Therein, pp. 255–259. - E. W. Beth. Considerazioni euristiche sui metodi di deduzione per sequenze. Italian translation by Ettore Casari of Considérations heuristiques sur les méthodes de déduction par séquences. Therein, pp. 260–267. - E. W. Beth. Osservazioni a proposito del ragionamento indiretto. Italian translation by Ettore Casari of Observations au sujet du raisonnement indirect. Therein, pp. 268–276. - E. W. Beth. Risultati di completezza per sistemi formali. Italian translation by Ettore Casari of XXVII 110. Therein, pp. 277–285. - Ettore Casari. I calcoli N e L di Gentzen. Therein, pp. 287–294.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 325
-
- Article
- Export citation
George Goe. Modifications of Quine's ML and inclusive quantification systems. The journal of symbolic logic, vol. 33 (1968), pp. 39–42.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 325-326
-
- Article
- Export citation
Patrick Suppes, Max Jerman, Dow Brian in collaboration with Diana Axelsen, Guy Groen, Lester Hyman, and Brian Tolliver. Computer-assisted instruction: Stanford's 1965–66 arithmetic program. Academic Press, New York and London1968, vii + 385 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 326-327
-
- Article
- Export citation
John E. Clifford. Tense logic and the logic of change. Logique et analyse, n.s. vol. 9 (1966), pp. 219–230.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 327-328
-
- Article
- Export citation
G. E. Hughes and M. J. Cresswell. An introduction to modal logic. Methuen and Co. Ltd., London1968, xii + 388 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 328
-
- Article
- Export citation
G. F. Schumm. On some open questions of B. Sobociński. Notre Dame Journal of format logic, vol. 10 no. 3 (1969), pp. 261–262.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 329
-
- Article
- Export citation
Andrzej Grzegorczyk. A philosophically plausible formal interpretation of intuitionistic logic. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 67 (1964), pp. 596–601; also Indagationes matkematicae, vol. 26 (1964), pp. 596–601.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 329
-
- Article
- Export citation
Tsutomu Hosoi. On intermediate logics. Journal of the Faculty of Science, University of Tokyo, section I, vol. 14 (1967), pp. 293–312, and vol. 16 (1969), pp. 1–12.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 329-330
-
- Article
- Export citation
C. G. McKay. On 'finite logics. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 70 (1967), pp. 363–365; also Indagationes mathematicae, vol. 29 (1967), pp. 363–365.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 330
-
- Article
- Export citation
C. G. McKay. The decidability of certain intermediate propositional logics. The journal of symbolic logic, vol. 33 (1968), pp. 258–264.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 330-331
-
- Article
- Export citation
C. G. McKay. The non-separability of a certain finite extension of Heyting's propositional logic. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 71 (1968), pp. 312–315; also Indagationes mathematica«, vol. 30 (1968), pp. 312–315.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 331
-
- Article
- Export citation
C. C. Chang. Logic with positive and negative truth values. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23–26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki1963, pp. 19–39.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 331-332
-
- Article
- Export citation
L. P. Belluce and C. C. Chang. A weak completeness theorem for infinite valued first-order logic. The journal of symbolic logic, vol. 28 no. 1 (for 1963, pub. 1964), pp. 43–50.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 332
-
- Article
- Export citation
L. P. Belluce. Further results on infinite valued predicate logic. The journal of symbolic logic, vol. 29 (1964), pp. 69–78.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 332
-
- Article
- Export citation
Peter Nidditch. A note on the redundant axiom of Principia mathematica. Mind, n.s. vol. 69 (1960), pp. 251–252.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 332-333
-
- Article
- Export citation