Contents
Reviews
Hao Wang. A new theory of element and number.The journal of symbolic logic, vol. 13 (1948), pp. 129–137.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 69
-
- Article
- Export citation
A. Heyting. Taal en teken in de wiskunde (Language and sign in mathematics). Algemeen Nederlands tijdschrift voor wijsbegeerte en psychologie, vol. 40 (1947–1948), pp. 121–131. Résumé (French), ibid., p. 131.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 195
-
- Article
- Export citation
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
Book Review
I. M. Bocheński. Wstęp do teorii analogii (Introduction à une théorie de l'analogie). Roczniki filozoficzne, t. 1 (1948), pp. 64–82. Résumé français, ibid., pp. 319–320.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 139-140
-
- Article
- Export citation
Reviews
Sören Halldén. A note concerning the -paradoxes of strict implication and Lewis's system S1. The journal of symbolic logic, vol. 13 (1948), pp. 138–139.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 69
-
- Article
- Export citation
Book Review
Kazimierz Ajdukiewicz. Metodologia i metanauka (Methodology and melascience). Życie nauki (Kraków) vol. 6 (1948), pp. 4–15. English summary, ibid., pp. 151–152.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 140
-
- Article
- Export citation
Reviews
L. E. J. Brouwer. De non-aequivalentie van de constructieve en de negatieve orderelatie in het continuum (The non-equivalence of the constructive and the negative order relation in the continuum). Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 52 (1949), pp. 122–124; also Indagationes mathematicae, vol. 11 (1949), pp. 37–39.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 195-196
-
- 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
Book Review
A. A. Markov. О zavisimosti aksiomy Β6 ot drugih aksiom sistémy Bernays'a-Gödel' á (On the non-independence of axiom Β6 from the other axioms of the Bernays-Gödel system). Izvéstiá Akadémii Nauk SSSR, Seriá matématičéskaá, vol. 12 (1948), pp. 569–570.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 140
-
- Article
- Export citation
Reviews
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
Paul Lorenzen. Grundlagen der Mathematik. FIAT review of German science 1939–1946, Pure mathematics Part I; senior author Wilhelm Süss; published by Office of Military Government for Germany, Field Information Agencies Technical; printed under the supervision of Dieterich'sche Verlagsbuchhandlung, Wiesbaden1948; pp. 11–22.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 196-197
-
- Article
- Export citation
Giuseppe Vaccarino. Elementi per una teoria della conoscenza. Sigma (Rome), vol. 1 (1947–1948), pp. 6–27, 69–86, 215–233, 303–331, 387–433. Discussion by Riccardo Miceli and the autbor, ibid., pp. 245–247.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 70
-
- Article
- Export citation
Book Review
O. Becker. Das formale System der ontologischen Modalitäten, Blätter für deutsche Philosophie, Bd. 16 (1943), S. 387–422. - O. Becker. Ein “natürliches” formales System der logisch-ontologischen Modalitäten. Ebd., Bd. 18 (1944), S. 82–93.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 140-141
-
- Article
- Export citation
Reviews
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
Gottfried Köthe. Verbände. FIAT review of German science 1939–1946, Pure mathematics Part I; senior author Wilhelm Süss; published by Office of Military Government for Germany, Field Information Agencies Technical; printed under the supervision of Dieterich'sche Verlagsbuchhandlung, Wiesbaden1948; pp. 81–95.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 197
-
- Article
- Export citation
Silvio Ceccato. Divagazioni di animai semiolicum. Sigma (Rome), vol. 1 (1947–1948), pp. 294–302.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 70
-
- Article
- Export citation
Ettore Carruccio. Il problema dell'esprimibiltà in simboli di un sistema ipotetico-deduttivo. Sigma (Rome), vol. 1 (1947–1948), pp. 357–364. Discussion by Giuseppe Vaccarino and the author, ibid., pp. 365–367.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 70
-
- Article
- Export citation
H. Rasiowa. Sur un certain système d'axiomes du calcul des propositions. Norsk matematisk tidsskrift, vol. 31 (1949), pp. 1–3.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 197
-
- Article
- Export citation
Book Review
Giovanni Giorgi. A proposito di alcune discussioni recenti sui problemi della logicu deduttiva. Bollettino della Unione Matematica Italiana, sor. 3 vol. 3 (1948), pp. 256–259.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 141
-
- Article
- Export citation
Reviews
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