Reviews
Andrzej Mostowski. On the principle of dependent choices. Fundamenta mathematicae Bd. 35 (1948), S. 127–130.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 257
-
- Article
- Export citation
Alfred Tarski. Axiomatic and algebraic aspects of two theorems on sums of cardinals. Ebd., S. 79–104.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 257-258
-
- Article
- Export citation
Frederic B. Fitch. On natural numbers, integers, and rationals. The journal of symbolic logic, Bd. 14 (1949), S. 81–84.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 258
-
- Article
- Export citation
N. Bourbaki. Foundations of mathematics for the working mathematician. The journal of symbolic logic, Bd. 14 (1949), S. pp. 1–8.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 258-259
-
- Article
- Export citation
Marshall Hall Jr. The word problem for semigroups with two generators. The journal of symbolic logic, Bd. 14 (1949), S. pp. 115–118.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 259
-
- Article
- Export citation
J. B. Rosser and A. R. Turquette. Axiom schemes for m-valued functional calculi of first order. Part I. Definition of axiom schemes and proof of plausibility. The journal of symbolic logic, vol. 13 (1948), pp. 177–192.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 259-260
-
- Article
- Export citation
Gustav Bergmann. A syntactical characterization of S5. The journal of symbolic logic, vol. 14 (1949), pp. 173–174.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 260
-
- Article
- Export citation
John R. Myhill. Note on an idea of Fitch. The journal of symbolic logic, vol. 14 (1949), pp. 175–176.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 260-261
-
- Article
- Export citation
Tzu-Hua Hoo. m-valued sub-system of (m+n)-valued propositional calculus. The journal of symbolic logic, vol. 14 (1949), pp. 177–181.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 261
-
- Article
- Export citation
Frederic B. Fitch. Intuitionistic modal logic with quantifiers. Portugaliae mathematica, vol. 7 no. 2 (for 1948, pub. 1949), pp. 113–118.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 261
-
- Article
- Export citation
J. Ridder. Über mehrwertige Aussagenkalküle und mehrwertige engere Prädikatenkalküle. II–III. Koninhlijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, t. 51 (1948), pp. 836–845 et 991–995; aussi Indagationes mathematicae, t. 10 (1948), pp. 264–273 et 324–328.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 261-262
-
- Article
- Export citation
L. E. J. Brouwer. Contradictoriteit der elementaire meetkunde (Contradictoriness of elementary geometry). Koninhlijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences vol. 52 (1949), pp. 315–316; also ibid., vol. 11 (1949), pp. 89–90.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 262-263
-
- Article
- Export citation
Kazimierz Kłósak. Teoria indeterminizmu ontologicznego a trójwartościowa logika zdań prof. Jana Łukasiewcza (The theory of ontological indeterminism and the three-valued logic of propositions of Prof. Jan Łukasiewicz). Ateneum Kaplanskie, vol. 49 (1948), pp. 209–320. - Kazimierz Kłósak. Konieczność wyjścia poza logikę dwuwartościową (The necessity of going beyond the two-valued logic). Ateneum Kaplanskie vol. 50 (1949), pp. 105–116.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 263
-
- Article
- Export citation
Antoni Korcik. Teoria sylogizmu zdań asertorycznych u Arystotelesa na tie logiki tradycyjnej. Studium historyczno-krytyczne. (The theory of the syllogism of assertoric propositions in Aristotle against the background of traditional logic. A historical and critical study.) Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego. Rozprawy Wydziału Historyczno-Filozoficznego, Sekcja filozoficzne, no. 2. Lublin 1948, 88 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 263-264
-
- Article
- Export citation
Benson Mates. Diodorean implication. The philosophical review, vol. 58 (1949), pp. 234–242.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 264
-
- Article
- Export citation
Ludovico Geymonat. Studi per un nuovo razionalismo. Chiantore, Turin1945, X + 349 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 264
-
- Article
- Export citation
Antoni Korcik. Gottlob Frege jako twórca pierwszego systemu aksjomatycznego współczesnej logiki zdań (Gottlob Frege, auteur du premier système axiomatique de la logique contemporaine des propositions). Roczniki filozoficzne, vol. 1 (1948), pp. 138–164. French abstract, ibid., p. 322.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 265
-
- Article
- Export citation
I. M. Bocheński. On analogy. The Thomist, vol. 11 (1948), pp. 424–447.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 265-266
-
- Article
- Export citation
Filippo Selvaggi. Dalla filosofia alla tecnica (La logica del potenziamento). Università Gregoriana, Rome1947 xii + 269 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 266
-
- Article
- Export citation
André Darbon. La philosophie des Mathématiques. Etude sur la logistique de Russell. Presses Universitaires de France, Paris1949, xii + 203 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 266
-
- Article
- Export citation