Reviews
R. S. Pierce. Distributivity in Boolean algebras. Pacific journal of mathematics, vol. 7 (1957), pp. 983–992.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 61
-
- Article
- Export citation
Ernest Nagel and James R. Newman. Gödei's proof. New York University Press, New York1958, ix + 118 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 222
-
- Article
- Export citation
Jaakko Hintikka. Necessity, universality, and time in Aristotle. Ajatus, vol. 20 (1957), pp. 65–90.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 180
-
- Article
- Export citation
Nicholas Rescher. An axiom system for deontic logic. Philosophical studies (Minneapolis), vol. 9 (1958), pp. 24–30. - Nicholas Rescher. Corrigenda. Philosophical studies (Minneapolis), vol. 9 (1958), p. 64.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 180-181
-
- Article
- Export citation
Karl Menger. Calculus, a modern approach. Ginn and Company, Boston etc. 1955, xviii + 354 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 222-223
-
- Article
- Export citation
Juliusz Reichbach. On the first-order functional calculus and the truncation of models. English, with Polish and Russian summaries. Studio logica, vol. 7 (1958), pp. 181–220.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 61
-
- Article
- Export citation
Heinz Bachmann. Transfinite Zahlen. Ergebnisse der Mathematik und ihrer Grenzgebiete, n.s. no. 1. Springer-Verlag, Berlin-Göttingen-Heidelberg1955, VII + 204 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 223-224
-
- Article
- Export citation
Arthur Pap. Necessary propositions and linguistic rules. Semantica, Archivio di filosofia, 1955 no. 3, Fratelli Bocca Editori, Rome1955, pp. 63–105. - Arthur Pap. Proposizioni necessarie e regole linguistiche. Italian translation of the preceding by A. Gianquinto. Semantica, Archivio di filosofia, 1955 no. 3, Fratelli Bocca Editori, Rome1955, pp. 107–139.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 181
-
- Article
- Export citation
Gaisi Takeuti. A metamathematical theorem on the theory of ordinal numbers. Journal of the Mathematical Society of Japan, vol. 4 (1952), pp. 146–165.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 62
-
- Article
- Export citation
Gaisi Takedti. On the fundamental conjecture of GLC. Journal of the Mathematical Society of Japan, vol. 7 (1955),pp. 249–275, 394–408, and vol. 8 (1956), pp. 54–64, 145–155, and vol. 10(1958),pp. 121–134.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 62-64
-
- Article
- Export citation
Paul Diderichsen. Semantiske problemer i logik og lingvistik (Semantic problems in logic and linguistics). Nordisk Sommeruniversitet 1953. Vetenskapens funktion i samhället. (Moderne Videnskab. Orientering og debat. III), Munksgaard, Copenhagen1954, pp. 248–278.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 181-182
-
- Article
- Export citation
Paul Bernays. Axiomatic set theory. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1958, VIII + 226 pp. - A. A. Fraenkel. Part I. Historical introduction. Therein, pp. 3–35.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 224-225
-
- Article
- Export citation
Karel Lambert. On naming and claiming. Philosophical studies (Minneapolis), vol. 7 (1956), pp. 43–46.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 182-183
-
- Article
- Export citation
Roland Fraïssé. Un modèle définissant une théorie aberrante des ensembles où sont niés les axiomes du choix et d'extensionalité. Publications scientifiques de l'Université d'Alger, Série A, Mathématiques, vol. 5 no. 1 (1958), pp. 17–98.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 225-226
-
- Article
- Export citation
Takakazu Shimauti. Proof of a special case of the fundamental conjecture of Takeuti's GLC. Journal of the Mathematical Society of Japan, vol. 8 (1956), pp. 135–144.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 64
-
- Article
- Export citation
Gustav Bergmann. Logical atomism, elementarism, and the analysis of value. Philosophical studies (Minneapolis), vol. 2 (1951), pp. 85–92. Reprinted in The metaphysics of logical positivism, by Gustav Bergmann, Longmans, Green and Co., New York, London, Toronto 1954, pp. 243–254.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 183
-
- Article
- Export citation
Azriel Lévy. Indépendance conditionnelle de V = L et d'axiomes qui se rattache au système de M. Gödel. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 245 (1957), pp. 1582–1583.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 226
-
- Article
- Export citation
Gaisi Takeuti. Ordinal diagrams. Journal of the Mathematical Society of Japan, vol. 9 (1957), pp. 386–394.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 64-65
-
- Article
- Export citation
Herbert Hochberg. The ontological operator. Philosophy of science, vol. 23 (1956), pp. 250–259. - Richard L. Cartwright. Comments on Dr. Hochberg's paper. Philosophy of science, vol. 23 (1956), pp. 260–265. - Herbert Hochberg. Professor Quine, Pegasus, and Dr. Cartwright. Philosophy of science, vol. 24 (1957) pp. 191–203.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 183-184
-
- Article
- Export citation
Ernst Specker. Zur Axiomatik der Mengenlehre (Fundierungs- und Auswah axiom). Zeitschrift für mathematische Logik und Grundlagen der Mathamatik, vol. 3 (1957), pp. 173–210.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 226-227
-
- Article
- Export citation