Reviews
Jean-Louis Destouches. Quelques aspects théoriques de la notion de complémentarité. Dialectics vol. 2 (1948), pp. 351–381. Abstracts in French and English, ibid., pp. 381–382.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 255
-
- Article
- Export citation
Stanisław Jaśkowski. Sur certains groupes formés de classes d'ensembles et leur application aux définitions des nombres. Studia Societaiis Scientiarum Torunensis, Sectio A, vol. 1 no. 3 (1948), pp. 23–35.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 66
-
- Article
- Export citation
Adolf Meyer-Abich. Joachim Jungius—ein Philosoph vor Leibniz. Beiträge zur Leibniz-Forschung, Monographien zur philosophischen Forschung herausgegeben von Dr. Georgi Schischkoff vol. 1, Gryphius-Verlag, Reutlingen1947, pp. 138–152.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 193
-
- Article
- Export citation
Book Review
Andrzej Mostowski. Proofs of non-deducibility in intuitionistic functional calculus. The journal of symbolic logic, vol. 13 (1948), pp. 204–207.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 137
-
- Article
- Export citation
Reviews
P. Destouches-Février. Manifestations et sens de la notion de complémentarité. Dialectics vol. 2 (1948), pp. 383–411. Abstracts in French and English, ibid., pp. 411–412.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 255
-
- Article
- Export citation
Stanisław Jaśkowski. Rachunek zdań dla systemów dedukcyjnych sprzecznych (Un calcul des propositions pour les systèmes déductifs contradictoires). Studia Societaiis Scientiarum Torunensis, Sectio A, vol. 1 (1948), pp. 57–74. French summary, ibid., pp. 75–77.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 66-67
-
- Article
- Export citation
Kurt Huber. Leibniz und wir. Zeitschrift für philosophische Forschung, vol. 1 (1946–1947), pp. 5–34.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 194
-
- Article
- Export citation
Book Review
L. E. J. Brouwer. Essentieel-negatieve eigenschappen (Essentially-negative properties). Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 51 (1948), pp. 963–964; also Indagationes mathematicae, vol. 10 (1948), pp. 322–323.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 137-138
-
- Article
- Export citation
L. E. J. Brouwer. Opmerkingen over het beginsel van het uitgesloten derde en over negatieve asserties (Remarks on the law of the excluded third and on negative propositions). Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 51 (1948), pp. 1239–1243; also ibid., vol. 10 (1948), pp. 383–387.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 138
-
- Article
- Export citation
Reviews
Georgi Schischkoff. Die gegenwärtige Logistik und Leibniz. Beiträge zur Leibniz-Forschung, Monographien zur philosophischen Forschung herausgegeben von Dr. Georgi Schischkoff vol. 1, Gryphius-Verlag, Reutlingen1947, pp. 224–240.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 194
-
- Article
- Export citation
P. S. Novikov. O klassah régulárnosti (On regularity classes). Doklady Akadémii Nauk SSSR, vol. 64 (1949), pp. 293–295.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 255-256
-
- Article
- Export citation
A. Markov. O prédstavlénii rékursivnyh funkcij (On the representation of recursive functions). Doklady Akadémii Nauk SSSR, vol. 58 (1947), pp. 1891–1892.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 67
-
- Article
- Export citation
A. M. Turing. Practical forms of type theory. The journal of symbolic logic, vol. 13 (1948), pp. 80–94.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 67-68
-
- Article
- Export citation
P. S. Novikov. Ob aksiomé polnoj indukcii (On the axiom of complete induction). Doklady Akadémii Nauk SSSR, vol. 64 (1949), pp. 457–459.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 256-257
-
- Article
- Export citation
Georgi Schischkoff. Zum problem einer exakten Symbolik des philosophischen Denkens. Zeitschrift für philosophische Forschung, vol. 1 (1946–1947), pp. 314–355.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 194-195
-
- Article
- Export citation
Book Review
M. G. Beumer. En historische bijzonderheid uit het leven van Gottlob Frege (1848–1925) (A historical detail from the life of Gottlob Frege (1848–1925)). Simon Stevin, vol. 25 (1946–1947), pp. 146–149. - E. W. Beth. Naschrift (Postscript). Simon Stevin, vol. 25 (1946–1947), pp. 150–151.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 138-139
-
- Article
- Export citation
Reviews
José Tola Pasquel. Sobre una cierta generalización de la noción de equivalencia. Revista de ciencias (Lima), vol. 50 (1948), pp. 205–213.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 257
-
- Article
- Export citation
Frederic B. Fitch. An extension of basic logic.The journal of symbolic logic, vol. 13 (1948), pp. 95–106.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 68-69
-
- Article
- Export citation
Book Review
J. Ridder. Über mehrwertige Aussagenkalküle und mehrwertige engere Prädikaten-kalküle. I. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, t. 51 (1948), pp. 670–680; aussi Indagationes mathematicae, t. 10 (1948), pp. 221–231.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 139
-
- Article
- Export citation
Reviews
Arend Heyting. Formal logic and mathematics. Synthese (Amsterdam), vol. 6 (1947–1948), pp. 275–282.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 195
-
- Article
- Export citation