On applications of mathematical logic to mathematics

 Access to full text

 Full (PDF)

1. 1. S. Banach, Wstep do teorii funkcji rzeczywistych, Monografie Matematyczne, Warszawa-Wroclaw 1951 (v tisku). (1951) MR0043161
2. 2. S. Banach, A. Tarski, Sur la décomposition des ensembles de points en parties respectivement congruentes, Fundamenta Mathematicae 6 (1924), s. 244-277. (1924) 
3. 3. D. A. Bočvar, K voprosu o paradoksach matěmaticeskoj logiki i teorii množestv, Matěmatičeskij Sbornik 15 (1944), s. 369-382. (1944) 
4. 4. L. E. J. Brouwer, Zur Analysis Situs, Mathematische Annalen 68 (1910), s. 422-434. (1910) MR1511570
5. 5. L. Byrne, Two brief formulations of Boolean Algebra, Bulletin of the American Mathematical Society 52 (1946), s. 269-272. (1946) Zbl0060.06303MR0016091
6. 6. E. Čech, Probléme, Fundamenta Mathematicae 34 (1947), s. 332. (1947) 
7. 7. G. Frege, Die Grundlagen der Arithmetik, Wroclaw 1884. Zbl0784.01047
8. 8. G. Frege, Grundgesetze der Arithmetik begriffsschriftlich abgeleitet, I, Jena 1891, II, Jena 1893. 
9. 9. K. Gödel, Über formal unentscheidbare Sätze der „Principia Mathematica" und verwandter Systeme, I, Monatshefte für Mathematik und Physik 38 (1931), s. 173-198. (1931) MR1549910
10. 10. K. Gödel, The consistency of the continuum hypothesis, Annals of mathematics studies No 3, Princeton 1940. (1940) MR0002514
11. 11. H. Hahn, Gibt es Unendliches? Alte Probleme - neue Lösungen in den exahten Wissenschaften, - Lipsko a Vídeň 1934. (1934) 
12. 12. F. Hausdorff, Grundzüge der Mengenlehre, Lipsko 1914, s. 32. (1914) 
13. 13. D. Hilbert, Grundlagen der Geometrie, Vydání VII, Lipsko-Berlín 1930. (1930) 
14. 14. S. Janiszewski, Sur les continus irréductibles entre deux points, (These de doctorat), Paris 1911. (1911) 
15. 15. B. Knaster, Quelques coupures singulieres du plan, Fundamenta Mathematicae 7 (1925), s. 264-289. (1925) 
16. 16. B. Knaster, Un théoreme sur les fonctions d'ensembles, Comptes rendus de la Societé Polonaise de Mathématique 6 (1928), s. 133-134. (1928) 
17. 17. B. Knaster, K. Kuratowski, Remark on a theorem of R. L. Moore, Proceedings of the National Academy of Sciences 13 (1926), s. 647-649. (1926) 
18. 18. A. Kolmogorov, Osnovnyje ponjatija teorii verojatnostěj, Moskva 1936. (1936) 
19. 19. K. Kuratowski, Sur la notion ďordre dans la théorie des ensembles, Fundamenta Mathematicae 2 (1921), s. 161-171 (Définition V). (1921) 
20. 20. K. Kuratowski, Sur les coupures irréductibles du plan, Fundamenta Mathematicae 6 (1924), s. 130-145. (1924) 
21. 21. K. Kuratowski, Evaluation de la classe borelienne ou projective d'un ensemble de points à l'aide des symboles logiques, Fundamenta Mathematicae 17 (1931), s. 249-272. (1931) Zbl0003.10504
22. 22. K. Kuratowski, Topologie I, Vydání II, Monografie Matematyczne, Warszawa - Wroclaw 1948. (1948) Zbl0041.09603
23. 23. K. Kuratowski, A. Tarski, Les opérations logiques et les ensembles projectifs, Fundamenta Mathematicae 17 (1931), s. 240-248. (1931) Zbl0003.10503
24. 24. E. Landau, Grundlagen der Analysis, Lipsko 1930 (Vydáni II, Mew York 1946). (1930) 
25. 25. A. J. Malcev, Untersuchungen aus dem Gebiete der mathematischen Logik, Matěmatičeskij Sbornik 43 (1936), s. 323-336. (1936) 
26. 26. S. Mazurkiewicz, Sur une propriété des ensembles C(A), Fundamenta Mathematicae 10 (1927), s. 172-174. (1927) 
27. 27. S. Mazurkiewicz, W. Sierpinski, Sur un problème concernant les fonctions continues, Fundamenta Mathematicae 6 (1924), s. 161-169. (1924) 
28. 28. R. L. Moore, Concerning indecomposable continua and continua which contain no subsets that separate the plane, Proceedings of the National Аcademy of Sciences 12 (1926), s. 362. (1926) 
29. 29. A. Mostowski, Logika metamatyczna, Monografie Matematyczna, Warszawa- Wroclaw 1948. (1948) MR0026972
30. 30. O. Nikodym, Sur les points linéairement accessibles des ensembles plans, Fundamenta Mathematicae 7 (1925), s. 250-258. (1925) 
31. 31. G. Peano, Sul concetto di numero, Rivista di matematica 1 (1891), s. 87-102 a 256-267. 
32. 32. F. Riesz, Steitigskeitsbegriff und abstrakte Mengenlehre, Аtti del IV Congresso Internazionale dei Matematici, II, Roma 1909. (1909) 
33. 33. A. Schönflies, Die Entwichelung der Lehre von Punktmannigfaltigkeiten, II, Lipsko 1908, s. 124. (1908) 
34. 34. C. E. Shannon, A symbolic analysis of relay and switching circuits, Tгansactions of the Аmerican Institute of Electrical Engineers 57 (1938), s. 1-11. (1938) 
35. 35. W. Sierpinski, Les exemples effectifts et ľaxiome du choix, Fundamenta Mathematicae 2 (1921), s. 112-118. (1921) 
36. 36. W. Sierpinski, Teoria liczb niewymiemych, Lwów 1928. (1928) 
37. 37. W. Sierpiński, Hypothèse du continu, Monografie Matematyczne, Warszawa- Lwów 1934. (1934) 
38. 38. W. Sierpiňski, Sur un problème concernant les fonctions continues, Fundamenta Mathematicae 15 (1930), s. 287-291. (1930) 
39. 39. H. Steinhaus, Sur les fonctions indépendantes VIII (Loi des grands nombres, suitesindépendantes, suites aléatoires), Studia Mathematica 11 (1950), s. 133-144. (1950) MR0054881
40. 40. V. I. Šestakov, Predstavlenije charaktěrističeskich funkcij predloženij posredstvom vyraženij, realizujemych reliejno-kontaktnymi schemami, Izvestija Аkademii Nauk SSSR 10 (1946), s. 529-565. (1946) 
41. 41. A. Tarski, Pojęcie prawdy w językach nauk dedukcyjnych, Prace Towaгzystwa Naukowego Warszawskiego, Wydzial III, Nr 34 (1933). (1933) 
42. 42. A. Tarski, Quelques théorèmes gènéraux sur les images d'ensembles, Comptes rendus dѳ la Société Polonaise de Mathématique, 6 (1928), p. 132-133. (1928) 
43. 43. P. Urysohn, Sur les points accessibles des ensembles fermés, Proceedings Кoniklijke Аkademie van Wetenschappente Аmsterdam 28 (1925), s. 984-993. (1925) 
44. 44. O. Veblen, A system of axioms for Geometry, Tгansactions of the Аmerican Mathematical Society 5 (1904), s. 343-384. (1904) MR1500678
45. 45. E. Zermelo, Untersuchungen uber die Grundlagen der Mengenlehre, Mathematische Аnnalen, 65 (1908), s. 107-128. (1908)