Reviews
Hugo Ribeiro. A remark on Boolean algebras with operators. American journal of mathematics, vol. 74 (1952), pp. 163–167.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 71
-
- Article
- Export citation
Louise H. Chin and Alfred Tarski. Distributive and modular laws in the arithmetic of relation algebras. University of California publications in mathematics, n.s. vol. 1 no. 9 (1951), pp. 341–384.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 72
-
- Article
- Export citation
H. Rasiowa. Algebraic treatment of the functional calculi of Heyting and Lewis. Fundamenta mathematicae, vol. 38 (for 1951, pub. 1952), pp. 99–126.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 72-73
-
- Article
- Export citation
Andrzej Grzegorczyk. Undecidability of some topological theories. Fundamenta mathematicae, vol. 38 (for 1951, pub. 1952), pp. 137–152.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 73-74
-
- Article
- Export citation
Heinrich Behmann. Das Auflösungsproblem in der Klassenlogik. Archiv für mathematische Logik und Grundlagenforschung, vol. 1 no. 1 (1950), pp. 17–29, and vol. 1 no. 2 (1951), pp. 33–51; also Archiv für Philosophie, vol. 4 no. 1 (1950), pp. 97–109, and vol. 4 no. 2 (1951), pp. 193–211.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 74-75
-
- Article
- Export citation
Kurt Schütte. Eine Bemerkung über quasirekursive Funktionen. Archiv für mathematische Logik und Grundlagenforschung, Bd. 1 Heft 2 (1951), S. 63–64; zugleich Archiv für Philosophie, Bd. 4 Heft 2 (1951), S. 223–224.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 75-76
-
- Article
- Export citation
Kurt Schütte. Beweistheoretische Untersuchung der verzweigten Analysis. Mathematische Annalen, Bd. 124 (1952), S. 123–147.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 76
-
- Article
- Export citation
Hao Wang. Logic of many-sorted theories. The journal of symbolic logic, Bd. 17 (1952), S. 105–116.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 77
-
- Article
- Export citation
John Myhill. A derivation of number theory from ancestral theory. The journal of symbolic logic, Bd. 17 (1952), pp. 192–197.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 77
-
- Article
- Export citation
Th. Skolem. Some remarks on the foundation of set theory. Proceedings of the International Congress of Mathematicians, Cambridge, Massachusetts, U.S.A., August 30-September 6, 1950, American Mathematical Society, Providence1952, Vol. I, pp. 695–704.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 77-78
-
- Article
- Export citation
G. Kreisel. On the interpretation of non-finitist proofs. The journal of symbolic logic, vol. 16 (1951), pp. 241–267, and vol. 17 (1952), pp. 43–58. See Erratum, ibid., vol. 17, p. iv. - G. Kreisel. Some elementary inequalities. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 55 (1952), pp. 334–338; also Indagationes mathematicae, vol. 14 (1942), pp. 334–338.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 78-80
-
- Article
- Export citation
Haskell B. Curry. Outlines of a formalist philosophy of mathematics. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1951, VIII + 75 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 80-81
-
- Article
- Export citation
I. M. Bocheński. Ancient formal logic. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1951, VII + 1 + 122 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 81-82
-
- Article
- Export citation
Max Bense. Die Philosophie. Zwischen den Beiden Kriegen, Bd. I. Suhrkamp Verlag, Frankfurt am Main1951, 470 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 82
-
- Article
- Export citation
Die philosophische Konferenz in Jena. Fruchtbare wissenschaftliche Diskussion über Probleme der formalen und mathematischen Logik und des dialektischen Materialismus. Neues Deutschland (Berlin), vol. 6 no. 276 (11. 28, 1951), Ausgabe A, p. 4.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 82-83
-
- Article
- Export citation
B. M. Kédrov. Ob otnošénii logiki k marksizmu (On the relation of logic to Marxism). Voprosy filosofii, no. 4 (1951), pp. 212–227. - V. K. Astaf'év. O dvuh stupénáh v razvitii logiki (On the two stages in the development of logic). Voprosy filosofii, no. 4 (1951), pp. 227–231. - B. I. Lozovskij. O logiké formal'noj i logiké dialéktičéskoj (On formal logic and dialectical logic). Voprosy filosofii, no. 4 (1951), pp. 232–238. - V. P. Rožin. Néskol'ko zaméčanij po spornym voprosam logiki (A few remarks on controversial questions of logic). Voprosy filosofii, no. 4 (1951), pp. 238–241. - A. N. Mitrofanov. Kratkij obzor néopublikovannyh statéj po logiké (A brief survey of unpublished articles on logic). Voprosy filosofii, no. 5 (1951), pp. 153–163. - Kitogam obsuždéniá voprosov logiki (Summing up the results of the discussion on questions of logic). Voprosy filosofii, no. 6 (1951), pp. 143–149.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 83-86
-
- Article
- Export citation
K. S. Bakradse. Über das Verhältnis von Logik und Dialektik. German translation of XVII 124(3). Über formale Logik und Dialektik, Diskussionsbeiträge (Redaktion der Übersetzung: A. Kosing und E. Kosing), 29. Beiheft zur Sowjetwissenschaft, Verlag Kultur und Fortschritt, Berlin1952, pp. 7–26. - W. I. Tscherkessow. Über Logik und marxistische Dialektik. German translation of XVII 124(4). Über formale Logik und Dialektik, Diskussionsbeiträge (Redaktion der Übersetzung: A. Kosing und E. Kosing), 29. Beiheft zur Sowjetwissenschaft, Verlag Kultur und Fortschritt, Berlin1952, pp. 27–46. - M. S. Strogowitsch. Über den Gegenstand der formalen Logik. German translation of XVII 124(5). Über formale Logik und Dialektik, Diskussionsbeiträge (Redaktion der Übersetzung: A. Kosing und E. Kosing), 29. Beiheft zur Sowjetwissenschaft, Verlag Kultur und Fortschritt, Berlin1952, pp. 47–59. - I. I. Osmakow. Über die Logik des Denkens und die Wissenschaft der Logik. German translation of XVII 124(6). Über formale Logik und Dialektik, Diskussionsbeiträge (Redaktion der Übersetzung: A. Kosing und E. Kosing), 29. Beiheft zur Sowjetwissenschaft, Verlag Kultur und Fortschritt, Berlin1952, pp. 77–98. - W. P. Tugarinow and L. J. Maistrow. Gegen den Idealismus in der mathematischen Logik. German translation of XVII 128(1). Über formale Logik und Dialektik, Diskussionsbeiträge (Redaktion der Übersetzung: A. Kosing und E. Kosing), 29. Beiheft zur Sowjetwissenschaft, Verlag Kultur und Fortschritt, Berlin1952, pp. 99–112. - S. A. Janowskaja. Brief an die Redaktion. German translation of XVII 128(2). Über formale Logik und Dialektik, Diskussionsbeiträge (Redaktion der Übersetzung: A. Kosing und E. Kosing), 29. Beiheft zur Sowjetwissenschaft, Verlag Kultur und Fortschritt, Berlin1952, pp. 113–117. - P. S. Popow. Der Gegenstand der formalen Logik und der Dialektik. German translation of XVII 124(7). Über formale Logik und Dialektik, Diskussionsbeiträge (Redaktion der Übersetzung: A. Kosing und E. Kosing), 29. Beiheft zur Sowjetwissenschaft, Verlag Kultur und Fortschritt, Berlin1952, pp. 118–130. - N. W. Sawadskaja. Zur Diskussion über Fragen der Logik. German translation of XVII 124(8). Über formale Logik und Dialektik, Diskussionsbeiträge (Redaktion der Übersetzung: A. Kosing und E. Kosing), 29. Beiheft zur Sowjetwissenschaft, Verlag Kultur und Fortschritt, Berlin1952, pp. 131–137. - A. O. Makowelski. Was muss die Logik als Wissenschaft sein? German translation of XVII 124(9)1 Über formale Logik und Dialektik, Diskussionsbeiträge (Redaktion der Übersetzung: A. Kosing und E. Kosing), 29. Beiheft zur Sowjetwissenschaft, Verlag Kultur und Fortschritt, Berlin1952, pp. 138–142. - Dobrin Spassow. Die dialektische Logik darf man nicht ablehnen, sondern muss sie ausarbeiten. German translation of XVII 124(10). Über formale Logik und Dialektik, Diskussionsbeiträge (Redaktion der Übersetzung: A. Kosing und E. Kosing), 29. Beiheft zur Sowjetwissenschaft, Verlag Kultur und Fortschritt, Berlin1952, pp. 143–146.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 86-87
-
- Article
- Export citation
Arthur Pap. Note on the “semantic” and the “absolute” concept of truth. Philosophical studies, vol. 3 (1952), pp. 1–8.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 87
-
- Article
- Export citation
P. F. Strawson. On referring. Mind, n.s. vol. 59 (1950), pp. 320–344.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 87-88
-
- Article
- Export citation
Donald Kalish. Logical form. Mind, n.s. vol. 61 (1952) pp. 57–71.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 88-89
-
- Article
- Export citation