Contents
Reviews
Stanislaw Jaśkowski. Trois contributions au calcul des propositions bivalent. Studia Societalis Scientiarum Torunensis, sectio A, vol. 1 no. 1 (1948), pp. 1–151.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 164-165
-
- Article
- Export citation
Jerzy Slupecki. Pelny trójwartościowy rachunek zdań (Le calcul complet de propositions a lrois valeurs logiques). Polish with French abstract. Annates Universitatis Mariae Curie-Sklodowska (Lublin), vol. 1 no. 3 sectio F (1946), pp. 193–209.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 165-166
-
- Article
- Export citation
Jerzy Slupecki. Uwagi o sylogistyce Arystolelesa (Les remarques sur la syllogistique d'Arislote). Polish with French abstract. Annates Universitatis Mariae Curie-Sklodowska (Lublin), vol. 1 no. 3 sectio F (1946), pp. 187–191.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 166
-
- Article
- Export citation
Jerzy Loś. Próba aksjomatyzacji logiki tradycyjnej (Une preuve d'axiomatisation de la logique traditionelle). Polish with French abstract. Annates Universitatis Mariae Curie-Sklodowska (Lublin), vol. 1 no. 3 sectio F (1946), pp. 211–228.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 166-167
-
- Article
- Export citation
Stanislaw Kaczorowski. Logika matematyczna. Cz. I. Algebra logiki. (Zarys dziejów.) (Mathematical logic. Part I. The algebra of logic. (An outline of history.)) Second edition, Księgarnia Naukowa, Lódź1946, 26 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 167
-
- Article
- Export citation
Jan Lukasiewicz. O sylogistyce Arystotelesa (On Aristotle's syllogistic). Sprawozdania z czynności i posiedzeń Polskiej Akademii Umiejetności, vol. 44 (1939), pp. 220–227.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 167
-
- Article
- Export citation
I. M. Bocheński. Zespól definicji do metalogicznego wykladu sylogistyki tradycyjnej (Syslema definitionum pro metalogica expositione syllogisticae traditionalis). Polski przegląd tomistyczny, vol. 1 (1939), pp. 104–114.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 167-168
-
- Article
- Export citation
Kazimierz Ajdukiewicz. Logika a doświadczenie (Logic and experience). Przeglad filozoficzny, vol. 43 no. 1–4 (1947), pp. 3–21. English summary, ibid., pp. 170–171.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 168
-
- Article
- Export citation
Maria Kokoszyńska. O róznych rodzajach zdań (Different kinds of statements). Przeglad filozoficzny, vol. 43 no. 1–4 (1947), pp. 22–51. English summary, ibid., pp. 171–173.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 168-169
-
- Article
- Export citation
Einar Hoff-Hansen. En matematisk tolkning av den klassiske utsagnsregning (A mathematical interpretation of the classical prepositional calculus). Norsk matematisk tidsskrift, vol. 25 (1943), pp. 6–12.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 169
-
- Article
- Export citation
TH. Skolem. Noen bemerkninger til foranstaende arlikkel av E. Hoff-Hansen (Some remarks on the preceding article of E. Hoff-Hansen). Norsk matematisk tidsskrift, vol. 25 (1943), pp. 13–16.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 169
-
- Article
- Export citation
Th. Skolem. Den rekursive aritmetikk (Recursive arithmetic). Norsk matematisk tidsskrift, vol. 28 (1946), pp. 1–12.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 169-170
-
- Article
- Export citation
P. S. Novikov. O logičéskih paradoksah (On logical paradoxes). Dohlady Akadémii Nauk SSSR, vol. 56 no. 5 (1947), pp. 451–453.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 170
-
- Article
- Export citation
A. Markoff. On the impossibility of certain algorithms in the theory of associative systems.Comptes rendus (Doklady) de l'Académie des Sciences de léURSS, n. s. vol. 55 no. 7 (1947), pp. 583–586.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 170-171
-
- Article
- Export citation
R. L. Goodstein. Transfinite ordinals in recursive number theory. The journal of symbolic logic, vol. 12 (1947), pp. 123–129.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 171
-
- Article
- Export citation
J. C. C. McKinsey and Alfred Tarski. Some theorems about the sentential calculi of Lewis and Heyting. The journal of symbolic logic, vol. 13 (1948), pp. 1–15.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 171-172
-
- Article
- Export citation
Alfred Tarski. A problem concerning the notion of definability. The journal of symbolic logic, vol. 13 (1948), pp. 107–111.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 172-173
-
- Article
- Export citation
D. Van Dantzig. On the -principles of inluitionistic and affirmative mathematics. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 50 (1947), pp. 918–929, 1092–1103; also Indagationes mathematicae, vol. 9 (1947), pp. 429–440, 506–517.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 173
-
- Article
- Export citation
E. W. Beth. Semantical considerations on intuitionistic mathematics. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 50 (1947), pp. 1246–1251, and ibid., pp. 572–577.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 173
-
- Article
- Export citation
K. R. Popper. Functional logic without axioms or primitive rules of inference. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 50 (1947), pp. 1214–1224, and ibid., pp. 561–571.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 173-174
-
- Article
- Export citation