Contents
Reviews
Stephen F. Barker. Number. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 5, pp. 526–530.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 300
-
- Article
- Export citation
H. Jerome Keisler. Ultraproducts which are not saturated. The journal of symbolic logic, vol. 32 (1967), pp. 23–46.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 585
-
- Article
- Export citation
Eugen Mihăilescu. Formele normale ale functorilor logicei clasice (Formules normales des foncteurs de la logique classique). Roumanian with Russian and French summaries. Studii şi cercetări matematice, vol. 10 (1959), pp. 117–144.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 465
-
- Article
- Export citation
T. Thacher Robinson. Independence of two nice sets of axioms for the propositional calculus. The journal of symbolic logic, vol. 33 (1968), pp. 265–270.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 139-140
-
- Article
- Export citation
Karl Schröter. Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikaten-kalküle. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 1 (1955), pp. 241–251.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 140
-
- Article
- Export citation
R. Harré. Philosophy of science, history of. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 6, pp. 289–296.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 300
-
- Article
- Export citation
Kiyoshi Iséki. An algebra related with a propositional calculus. Proceedings of the Japan Academy, vol. 42 (1966), pp. 26–29. - Yoshinari Arai, Kiyoshi Iséki, and Shôtarô Tanaka. Characterizations of BCI, BCK-algebras. Proceedings of the Japan Academy, vol. 42 (1966), pp. 105–107. - Kiyoshi Iséki. Algebraic formulation of propositional calculi with general detachment rule. Proceedings of the Japan Academy, vol. 43 (1967), pp. 31–34.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 465-466
-
- Article
- Export citation
H. Jerome Keisler. Ultraproducts of finite sets. The journal of symbolic logic, vol. 32 (1967), pp. 47–57.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 586
-
- Article
- Export citation
E. G. K. Lopez-Escobar. On a theorem of J. I. Malitz. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 15 (1967), pp. 739–743.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 586
-
- Article
- Export citation
Max Black. Probability. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 6, pp. 464–479.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 300-301
-
- Article
- Export citation
Paul Strauss. Some systems of natural deduction. Notre Dame journal of formal logic, vol. 8 no. 4 (for 1967, pub. 1968), pp. 286–290.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 466
-
- Article
- Export citation
Rolf Schock. On finitely many-valued logics. Logique et analyse, n.s. vol. 7 (1964), pp. 43–58. Errata. Ibid., p. 195. - Rolf Schock. On denumerably many-valued logics. Logique et analyse, n.s. vol. 7 (1964), pp. 190–195. - R. Schock. Some theorems on the relative strengths of many-valued logics. Logique et analyse, n.s. vol. 8 (1965), pp. 101–104.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 140-142
-
- Article
- Export citation
Hugues Leblanc. A simplified account of validity and implication for quantificational logic. The journal of symbolic logic, vol. 33 (1968), pp. 231–235.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 466-467
-
- Article
- Export citation
Alan Rose. Formalisation du calcul propositionnel implicatif à ℵ0 valeurs de Łukasiewicz. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, vol. 243 (1956), pp. 1183–1185.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 142
-
- Article
- Export citation
Max Black. Ramsey, Frank Plumpton. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 7, pp. 65–66.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 301
-
- Article
- Export citation
A. Ehrenfeucht and A. Mostowski. A compact space of models of first order theories. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 9 (1961), pp. 369–373.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 586-587
-
- Article
- Export citation
E. G. K. Lopez-Escobar. A complete, infinitary axiomatization of weak second-order logic. Fundamenta mathematicae, vol. 61 (1967), pp. 93–103.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 467
-
- Article
- Export citation
Per Lindström. On model-completeness. Theoria (Lund), vol. 30 (1964), pp. 183–196.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 587
-
- Article
- Export citation
Paul Edwards. Russell, Bertrand Arthur William. Life and social theories. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 7, pp. 236–239. - William P. Alston. Russell, Bertrand Arthur William. Epistemology and metaphysics. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 7, pp. 239–244. - A. N. Prior. Russell, Bertrand Arthur William. Logic and mathematics. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 7, pp. 244–251. - Paul Edwards. Russell, Bertrand Arthur William. Ethics and the critique of religion. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 7, pp. 251–256. - Paul Edwards, William P. Alston, and A. N. Prior. Russell, Bertrand Arthur William. Bibliography. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 7, pp. 256–258.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 301
-
- Article
- Export citation
Alan Rose. A formalisation of the ℵ0-valued Łukasiewicz propositional calculus with variable functors. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 (1967), pp. 289–292.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 142
-
- Article
- Export citation