Knowledge (XXG)

Andrzej Grzegorczyk

Source 📝

27: 2360: 392: 526: 103: 517: 535: 544: 2348: 1594: 1577: 1415: 1301: 926: 1506:. Discrete Mathematics and Theoretical Computer Science Proceedings Volume AG Fourth Colloquium on Mathematics and Computer Science: Algorithms, Trees, Combinatorics and Probabilities, Nancy, France pp. 161–170 2149: 1484: 1609: 1520: 979: 1214: 1749: 2586: 2581: 1515:. Doctoral thesis, Institut National Polytechnique de Lorraine, Laboratoire Lorrain de Recherche en Informatique et ses Applications – UMR 7503, supervised by Olivier Bournez 2576: 1541: 2071: 772: 756: 56: 1295:
Doktor Marian Borsuk — ordynator Oddziału Chirurgicznego Szpitala Wolskiego (1907–1923) (Marian Borsuk MD — head of Surgical Department, Wolski Hospital (1907–1923))
1328:. Dissertation presented for the degree of Philosophiae Doctor (PhD), Department of Mathematics, University of Oslo, November 2009, supervised by Lars Kristiansen 2508: 872: 2541: 2536: 2516: 2616: 2611: 2291: 2182:
Thirty Years of Foundational Studies: Lectures on the Development of Mathematical Logic and the Study of the Foundations of Mathematics in 1930–1964
2498: 974: 636: 2263: 1188: 2517:
2006 Appeal of the Polish Science Representatives to the Minister of Environment Jan Szyszko in Defense of the Tatra Mountains (in Polish)
1437: 2566: 1177: 1057: 1985: 1763: 1316: 1031: 1305: 1598: 1446: 1066: 1040: 1014: 645: 622: 594: 574: 78: 2365:. Pamiętnik Literacki: Czasopismo kwartalne poświęcone historii i krytyce literatury polskiej, Volume 60, Issue 2, pp. 409–415 1731: 1865: 1382: 2546: 2427: 2413: 2383: 2209: 2205: 2168: 1560:. Polish Philosophical Studies V. The Council for Research in Values and philosophy, Washington, D.C., Chapter II, pp. 37–61 2450: 1363:
Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science: In Recognition of Professor Andrzej Grzegorczyk
975:
W stronę aporetycznej filozofii klasycznej: Konfrontacja tomizmu egzystencjalnego z wybranymi koncepcjami filozofii współczesnej
2551: 1294: 2596: 2556: 2326: 2081:
Open Days in Model Theory and Set Theory: Proceedings of a Conference held in September 1981 at Jadwisin, near Warsaw, Poland
1630: 1278: 769: 753: 660: 418: 1502: 2478: 2441: 2340: 934: 2591: 2399: 2229: 2033: 1604: 422: 2160: 888: 364: 39: 2004: 501:
Grzegorczyk died of natural causes in Warsaw on 20 March 2014 at the age of 91. His body is buried in the Cemetery of
484: 223: 49: 43: 35: 2488: 2601: 2571: 2437: 2197: 2136: 2038: 1971: 1954: 1935: 1918: 1843: 1829: 1808: 1784: 1666: 1282: 1151: 962: 472: 318: 268: 250: 2424:
Charisteria: Rozprawy filozoficzne złożone w darze Władysławowi Tatarkiewiczowi w siedemdziesiątą rocznicę urodzin
2561: 2304: 2252: 2103: 1123: 869: 2395:
Philosophy and Ideology: The Development of Philosophy and Marxism-Leninism in Poland since the Second World War
60: 2455:
Cmentarz Powązkowski oraz cmentarze katolickie i innych wyznań pod Warszawą i w okolicach tegoż miasta, Tom III
1201: 1105: 256: 2119: 1824: 1585: 1409: 1387: 1367: 893: 741: 322: 262: 195: 1556: 1164: 2315: 2097: 1880: 1377: 1349: 1228: 1133: 883: 864: 406: 374: 2483: 1779: 684: 557: 426: 209: 1492: 1362: 1049: 1023: 907: 901: 848: 655: 633: 843: 2606: 2531: 2419: 2185: 1775: 1771: 1652: 430: 314: 199: 1480: 1460:
The Lvov–Warsaw School and Its Influence on Polish Philosophy of the Second Half of the 20th Century
1147: 1129: 2511: 2276: 2084: 1993: 1886: 1739:
A Cut-free Sequent Calculus for the Logic of Constant Domains with a Limited Amount of Duplications
1686: 1463: 1455: 1331: 1524: 391: 2280: 2260: 2049: 1980: 1803: 1474: 1245: 1197: 830: 801: 468: 213: 2223: 1610:
Foundations for the formalization of metamathematics and axiomatizations of consequence theories
1567: 1185: 1434: 2458: 2177: 1266: 1252: 1232: 1115: 1018: 811: 644:. ВЕЧЕ: Журнал русской философии и культуры, Volume 29, pp. 285–295 (Publishing House of 626: 608: 598: 578: 350: 2394: 2353: 2238:
Memoriał 59, inne dokumenty protestu oraz list otwarty prof. dr Edwarda Lipińskiego do Gierka
2153: 1726: 938: 2504:
Andrzej Grzegorczyk's 90th birthday at the Warsaw branch of the Polish Philosophical Society
2474: 1656: 1467: 1075: 1054: 902:
Filozoficzne dekalogi – tekst dedykowany pamięci profesora Andrzeja Grzegorczyka (1922–2014)
714: 671: 649: 534: 525: 488: 360: 345: 1028: 2279:. Filosofiska Studier utgivna av Filosofiska Föreningen och Filosofiska Institutionen vid 2267: 2189: 2076: 2025: 1767: 1625: 1441: 1353: 1335: 1192: 1061: 1055:
Kryptonim Wasale: Służba bezpieczeństwa wobec studenckich komitetów Solidarności 1977–1980
1035: 876: 835: 825: 784: 776: 760: 640: 444: 298: 2493: 1963: 1944: 1927: 1857: 1818: 1793: 1357: 1206: 1137: 821: 719: 702: 612: 2293:
Ein Henkin-Beweis für die Vollständigkeit eines Kalküls relativ zur Grzegorczyk-Semantik
2113: 1905:
Least fixed points in Grzegorczyk's logic and in the intuitionistic propositional logic.
1898:
Dziewięć Lat Warszawskiej Premiery Literackiej (Nine years of the Warsaw Literary Award)
1511: 2389: 2193: 1897: 1270: 983: 604: 492: 410: 1698: 543: 516: 2525: 2373: 2296:. Archiv für Mathematische Logik und Grundlagenforschung, Volume 14, pp. 148–161 2140: 2125: 2109: 1989:. Ethos: Kwartalnik Instytutu Jana Pawła II KUL, Volume 2, Number 8, pp. 332–337 1922: 1910: 1799: 1758: 1423: 1286: 1237: 1220: 1111: 1083: 1029:
Kryptonim "Pegaz". Służba Bezpieczeństwa wobec Towarzystwa Kursów Naukowych 1978–1980
1000: 992: 966: 944: 694: 464: 452: 302: 244: 697:: An International Journal for Symbolic Logic, Volume 104, Issue 2, pp. 209–234 2219: 1618: 1429: 1404: 1256: 1091: 727: 414: 102: 1447:
Instytut Pamięci Narodowej – Komisja Ścigania Zbrodni przeciwko Narodowi Polskiemu
1155: 1067:
Instytut Pamięci Narodowej – Komisja Ścigania Zbrodni przeciwko Narodowi Polskiemu
1041:
Instytut Pamięci Narodowej – Komisja Ścigania Zbrodni przeciwko Narodowi Polskiemu
920:
Logika – sprawa ludzka: Wspomnienie o profesorze Andrzeju Grzegorczyku (1922–2014)
2454: 2379:
The Theory of Models: Proceedings of the 1963 International Symposium at Berkeley
2378: 2236: 2029: 1949: 1717: 1660: 1639: 1581: 1261: 1096: 736: 617: 589: 570: 2369: 2145: 2131: 2042: 1225:
Logos and Mathema: Studies in the Philosophy of Mathematics and History of Logic
805: 798:
De-Stalinising Eastern Europe: The Rehabilitation of Stalin's Victims after 1953
502: 495: 292: 156: 2332: 2272: 2021: 2016: 2012: 1869: 1573: 1405:
An interpretation of Robinson's Arithmetic in its Grzegorczyk's weaker variant
954: 634:Этическое творчество Анджея Гжегорчика (Andrzej Grzegorczyk's works in ethics) 456: 2312:
Ein vollständiger Kalkül für die Folgerungsbeziehung der Grzegorczyk-Semantik
1709: 1706:
O duchu Europy i jej powołaniu: Rozmowa z profesorem Andrzejem Grzegorczykiem
1694: 1143:
Papers on Logic and Rationality: Festschrift in Honour of Andrzej Grzegorczyk
854: 2008: 1999: 1975: 1958: 1939: 1847: 1833: 1812: 1788: 1670: 1371: 1343: 1101: 1087: 906:
Zeszyty Naukowe Centrum Badań im. Edyty Stein, Number 12: Wobec Samotności,
2445: 1640:
Kripke Completeness of First-Order Constructive Logics with Strong Negation
987: 911: 676: 665: 1426:: An International Journal for Symbolic Logic, Volume 83, pp. 365–391 1298:. Pneumonologia i Alergologia Polska, Volume 78, Issue 4, pp. 306–309 1162:
O życiu zawodowym i dokonaniach naukowych Profesor Renaty Grzegorczykowej.
2489:
Andrzej Grzegorczyk's obituary (in Polish) by Polish Mathematical Society
2462: 2438:
O masonii w Polsce od roku 1738 do 1822: na źródłach wyłącznie masońskich
2249:
Ordinal Recursion, and a Refinement of the Extended Grzegorczyk Hierarchy
2030:
Handbook of Philosophical Logic, Volume II: Extensions of Classical Logic
1753: 1699:
The Polish Foreign Affairs Digest: Quarterly, Volume 3, Number 2, Issue 7
1324: 1142: 460: 448: 2503: 1325:
Notes on small inductively defined classes and the majorisation relation
1173:
Turing machines on represented sets, a model of computation for analysis
997:
The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland
931:
The Lyndon property and uniform interpolation over the Grzegorczyk logic
919: 789:. Bulletin of the Section of Logic, Volume 44, Issue 1–2, pp. 69–79 2284: 1395: 794:
The Release and Rehabilitation of Victims of Stalinist Terror in Poland
1547:
Theoretical Computer Science, Volume 348, Issues 2–3, pp. 130–147
2431: 2403: 2242: 2213: 2172: 1838:
Srzednicki, Jan Tadeusz Jerzy; Stachniak, Zbigniew (editors) (1998):
1681: 1622:. Mathematical Logic Quarterly, Volume 50, Number 3, pp. 295–296 1589: 1450: 1070: 1044: 745: 329: 185: 144: 126: 1568:
Newsletter of European Mathematical Society, Issue 58, December 2005
661:
O kluczowej dla pedagogiki twórczości filozofa Andrzeja Grzegorczyka
737:
Gödel's Disjunction: The Scope and Limits of Mathematical Knowledge
2088: 1172: 1119: 1004: 949: 618:
The Significance of the Lvov–Warsaw School in the European Culture
286: 2202:
Andrzej Mostowski: Foundational Studies, Selected Works, Volume I
1746:
Polska filozofia analityczna: W kręgu szkoły lwowsko-warszawskiej
1493:
W poszukiwaniu filozofii znaczącej (uwagi na marginesie dyskusji)
1487:. Filozofia Nauki – kwartalnik, Volume 14, Issue 3, pp. 5–19 1741:. Logic Journal of the IGPL, Volume 7, Issue 6, pp. 733–753 1396:
From Insight to Proof: Festschrift in Honour of Andrzej Trybulec
1120:
Failure of Interpolation in Constant Domain Intuitionistic Logic
571:
Larisa Maksimova on Implication, Interpolation, and Definability
1644:
Logic Journal of the IGPL, Volume 11, Issue 6, pp. 615–646
1383:
Andrzej Grzegorczyk – logika i religia, samotność i solidarność
1306:
Restricted interpolation property in superintuitionistic logics
1582:
Interpolation and Definability: Modal and Intuitionistic Logic
1399:. Studies of Logic, Grammar, and Rhetoric, Volume 10, Issue 23 780:. Formalized Mathematics, Volume 23, Issue 3, pp. 161–176 764:. Formalized Mathematics, Volume 23, Issue 3, pp. 177–187 20: 1744:
Wiśniewski, Ryszard; Tyburski, Włodzimierz (editors) (1999):
1678:
Ludzie i Idee: Polska filozofia najnowsza. Zarys problematyki
1242:
Essays in the Philosophy and History of Logic and Mathematics
937:, Volume 55, Number 1, pp. 118–124 (translated from the 732:
The Second Incompleteness Theorem: Reflections and Rumination
713:(1). Institute of Higher Education NAES of Ukraine: 242–256. 1521:
Elementarily computable functions over the real numbers and
1262:
Decorated linear order types and the theory of concatenation
1011:
Leśniewski's Systems of Logic and Foundations of Mathematics
585:
Grzegorczyk's non-Fregean logics and their formal properties
1862:
Foundations of Computer Science: Potential-Theory-Cognition
1420:
Projective Beth Property in Extensions of Grzegorczyk Logic
1148:
Studies in Logic, Grammar and Rhetoric, Volume 27, Issue 40
1613:. Annals of Pure and Applied Logic, Volume 127, pp 243–266 959:
Turing's Legacy: Developments from Turing's Ideas in Logic
844:Życie to wyzwanie: Pamięci Profesora Andrzeja Grzegorczyka 590:
Applications of Formal Philosophy: The Road Less Travelled
2484:
Andrzej Grzegorczyk's Warsaw Uprising biogram (in Polish)
1721:. Dialogue and Universalism, Number 6-7, pp. 133–144 1601:. Algebra i Logika, Volume 43, Number 4, pp. 387–410 1512:
Modèles de calcul sur les réels, résultats de comparaison
796:. In McDermott, Kevin; Stibbe, Matthew (editors) (2015): 587:. In Urbaniak, Rafał; Payette, Gillman (editors) (2017): 2225:
The Right to Help: Noam Chomsky and Andrzej Grzegorczyk
1907:
Algebra and Logic, Volume 32, Issue 5, pp. 279–288
1308:. Algebra i Logika, Volume 48, Number 1, pp. 54–89 677:
Contribution of Warsaw Logicians to Computational Logic
2094:
Cichoń, Eugeniusz Adam; Wainer, Stanley Scott (1983):
2015:: Publishing House of the Polish Academy of Sciences, 1564:
ERCOM: Stefan Banach International Mathematical Center
1215:
Shofar: An Interdisciplinary Journal of Jewish Studies
2150:
Wolnomularze i loże wolnomularskie Płocka (1803–1821)
2115:
Provability in arithmetic and a schema of Grzegorczyk
2052: 1697:, Number 1, Issue 62, pp. 11–15. Republished in 1527: 1393:
Matuszewski, Roman; Zalewska, Anna (editors) (2007):
950:
Computability and Analysis: The Legacy of Alan Turing
2362:
Piotr Grzegorczyk (17 listopada 1894 – 20 maja 1968)
2241:. Wydawnictwo Komitetu Głównego P.P.S. w Niemczech, 2079:; Pelc, Andrzej; Rauszer, Cecylia (editors) (1984): 1732:
Kultura Współczesna: Teorie, Interpretacje, Praktyka
1170:
Tavana, Nazanin Roshandel; Weihrauch, Klaus (2011):
734:. In Horsten, Leon; Welch, Philip (editors) (2016): 583:
Golińska-Pilarek, Joanna; Huuskonen, Taneli (2017):
2499:
2012 Interview with Andrzej Grzegorczyk (in Polish)
2323:Über eine Verschärfung der intuitionistischen Logik 1750:
Wydawnictwo Naukowe Uniwersytetu Mikołaja Kopernika
703:"Andrzej Grzegorczyk as a Philosopher of Education" 398: 384: 370: 356: 344: 335:On Topological Spaces in Topologies without Points 328: 310: 282: 240: 230: 219: 205: 191: 181: 173: 151: 133: 112: 93: 2337:Montague Type Semantics for Non-Classical Logics I 2065: 1883:, Volume 41, Number 3, Issue 342, pp. 188–193 1737:Fiorentini, Camillo; Miglioli, Pierangelo (1999): 1535: 1313:On Interpretability in the Theory of Concatenation 880:. Studia Semiotyczne, Volume 28–29, pp. 63–88 859:Od wydawcy: Pożegnanie ze "Studiami Semiotycznymi" 818:Biblioteka Dialogu. Universitas Rediviva, Warszawa 1186:Finding the best model for continuous computation 861:. Studia Semiotyczne, Volume 28–29, pp. 5–30 1097:Computability: Turing, Gödel, Church, and Beyond 923:. Argument, Volume 4, Number 2, pp. 491–498 48:but its sources remain unclear because it lacks 2329:, Fakultät für Mathematik und Naturwissenschaft 2316:Albert-Ludwigs-Universität Freiburg im Breisgau 1891:The Conceptual System of the Lvov–Warsaw School 786:Non-Fregean Logics of Analytic Equivalence (II) 447:; 22 August 1922 – 20 March 2014) was a Polish 2343:, contract No. F 61052-68-C-0036, Report No. 4 2318:, Naturwissenschaftlich-Mathematische Fakultät 2130:The Unprovability of Consistency: An Essay in 1968:Logic and Philosophy in the Lvov–Warsaw School 1680:. Agencja Wydawniczo-Poligraficzna "Witmark", 1485:Wkład logików polskich w światową informatykę 1251:Čačić, Vedran; Pudlák, Pavel; Restall, Greg; 8: 2587:Recipients of the Order of Polonia Restituta 2509:Andrzej Grzegorczyk's lecture on 17 May 2011 2341:U.S. Air Force Office of Scientific Research 1557:Polish Axiology: The 20th Century and Beyond 1472:The Lvov–Warsaw School – The New Generation. 686:On the Minimal Non-Fregean Grzegorczyk Logic 2494:Andrzej Grzegorczyk's profile by Calculemus 1856:. In Freksa, Christian; Jantzen, Matthias; 1552:Elements of Twentieth Century Polish Ethics 1518:Bournez, Olivier; Hainry, Emmanuel (2005): 707:Filosofiya osvity / Philosophy of Education 2582:Officers of the Order of Polonia Restituta 1950:Kotarbiński: Logic, Semantics and Ontology 1662:Trends in Logic: 50 Years of Studia Logica 1340:Andrzej Mostowski and Foundational Studies 101: 90: 2577:Knights of the Order of Polonia Restituta 2057: 2051: 1631:Logic for Computer Science. Lecture Notes 1554:. In Jedynak, Stanisław (editor) (2005): 1529: 1528: 1526: 1356:; Mirkowska, Grażyna; Salwicki, Andrzej; 1080:About and around Computing over the Reals 718: 79:Learn how and when to remove this message 1996:; Czelakowski, Janusz (editors) (1984): 1893:. Axiomathes, Number 3, pp. 325–333 1647:Wójcicki, Ryszard; Zygmunt, Jan (2003): 1412:, Volume 81, Issue 1–3, pp. 347–354 816:Andrzej Grzegorczyk – Człowiek i dzieło. 498:. Grzegorczyk had a daughter and a son. 1900:. Bibliotekarz, Issue 3, pp. 25–27 1599:Definability in Normal Extensions of S4 1052:; Waligóra, Grzegorz (editors) (2014): 1026:; Waligóra, Grzegorz (editors) (2014): 831:Logic in Poland after 1945 (until 1975) 512: 2307:, Volume 36, Issue 2, pp. 249–261 2255:, Volume 37, Issue 2, pp. 281–292 2106:, Volume 48, Issue 2, pp. 399–408 1986:Filozofia naukowa czy kolejny zabobon? 1724:Ciesielski, Remigiusz Tadeusz (2002): 1390:, Volume 44, Number 01, pp. 53–59 1126:, Volume 78, Issue 3, pp. 937–950 896:, Volume 50, Issue 1, pp. 171–173 2122:, Volume 60, Number 1, pp. 41–45 1796:; Köhler, Eckehart (editors) (1999): 1319:, Volume 50, Number 1, pp. 87–95 1277:. Lecture Notes in Logic, Volume 35. 1217:, Volume 29, Number 3, pp. 68–82 680:. Axioms, Volume 5, Issue 16, 8 pages 7: 1854:A Foundation for Computable Analysis 1712:, Number 4, Issue 59, pp. 24–28 1637:Hasuo, Ichiro; Kashima, Ryo (2003): 1550:Gawor, Leszek; Zdybel, Lech (2005): 1338:; Srebrny, Marian (editors) (2008): 720:10.31874/2309-1606-2016-18-1-242-256 690:To the Memory of Andrzej Grzegorczyk 234:Agnieszka Grzegorczyk-Przeciszewska 16:Polish mathematician and philosopher 1998:Leśniewski's Systems: Ontology and 1715:Chmurzyński, Jerzy Andrzej (2002): 1497:Diametros, Issue 10, pp. 78–92 1273:; Stephan, Frank (editors) (2010): 1178:Logical Methods in Computer Science 851:, Volume 43, Issue 1, pp. 5–13 569:Odintsov, Sergei Pavlovich (2018): 2542:21st-century Polish mathematicians 2537:20th-century Polish mathematicians 2301:A logic stronger than intuitionism 2054: 1317:Notre Dame Journal of Formal Logic 1180:, Volume 7, Issue 2, pp. 1–21 14: 2512:, the University of Opole, Poland 2410:The Logical Systems of Lesniewski 2261:An Essay in Classical Modal Logic 1183:Resnick, Rebecca Abigail (2011): 1015:Springer International Publishing 683:Golińska-Pilarek, Joanna (2016): 646:Saint Petersburg State University 623:Springer International Publishing 595:Springer International Publishing 575:Springer International Publishing 2617:21st-century Polish philosophers 2612:20th-century Polish philosophers 2408:Luschei, Eugene Charles (1962): 2258:Segerberg, Karl Krister (1971): 2235:Ptaczek, Józef (editor) (1976): 2210:PWN–Polish Scientific Publishers 1840:Leśniewski's Systems Protothetic 1503:Density of truth in modal logics 1292:Grzegorczyk, Franciszek (2010): 542: 533: 524: 515: 443: 390: 25: 2100:and the Grzegorczyk Hierarchies 1992:Srzednicki, Jan Tadeusz Jerzy; 1903:Mardaev, Sergei Il'ich (1993): 1802:: Austro–Polish Connections in 1160:Mikołajczuk, Agnieszka (2012): 889:Andrzej Grzegorczyk (1922–2014) 870:Andrzej Grzegorczyk (1922–2014) 2349:Mirosław Zdziarski (1892–1939) 2346:Kostanecki, Stanisław (1969): 2327:Technische Hochschule Hannover 2247:Wainer, Stanley Scott (1972): 1718:Searching Europe's Destination 1649:Polish Logic in Postwar Period 1279:Association for Symbolic Logic 899:Jankowska, Małgorzata (2014): 841:Jankowska, Małgorzata (2015): 601:, Chapter 12, pp. 243–263 1: 2479:Mathematics Genealogy Project 2451:Wójcicki, Kazimierz Władysław 2428:Państwowe Wydawnictwo Naukowe 2200:; Zbierski, Paweł (editors): 2169:Państwowy Instytut Wydawniczy 1932:Philosophical Logic in Poland 1734:, Issue 3–4, pp. 111–117 1619:A note on Grzegorczyk's logic 1605:Wybraniec-Skardowska, Urszula 935:Siberian Mathematical Journal 838:, Volume 23, pp. 159–197 483:In 1953, Grzegorczyk married 2356:, Volume 2, pp. 309–339 2230:The New York Review of Books 1536:{\displaystyle \mathbb {R} } 1490:Zieliński, Wojciech (2006): 754:Grzegorczyk's Logics: Part I 357:Other academic advisors 2475:Andrzej Grzegorczyk profile 2436:Załęski, Stanisław (1908): 2156:, Volume 7, pp. 69–126 2066:{\displaystyle \Delta _{0}} 2005:Martinus Nijhoff Publishers 1896:Błaszczyk, Jolanta (1994): 1823:The Lvov–Warsaw School and 1817:Kijania-Placek, Katarzyna; 1676:Mackiewicz, Witold (2003): 1477:, Amsterdam, pp. 41–83 1402:Švejdar, Vítězslav (2007): 1311:Švejdar, Vítězslav (2009): 485:Renata Maria Grzegorczykowa 419:Magdalena Borsuk-Białynicka 224:Renata Maria Grzegorczykowa 2633: 2567:Warsaw Uprising insurgents 2442:Druk W.L. Anczyca i Spółki 2359:Starnawski, Jerzy (1969): 2321:Görnemann, Sabine (1969): 2299:Görnemann, Sabine (1971): 2137:Cambridge University Press 1972:Kluwer Academic Publishers 1955:Kluwer Academic Publishers 1936:Kluwer Academic Publishers 1919:Cambridge University Press 1844:Kluwer Academic Publishers 1830:Kluwer Academic Publishers 1809:Kluwer Academic Publishers 1785:Kluwer Academic Publishers 1667:Kluwer Academic Publishers 1500:Kostrzycka, Zofia (2006): 1283:Cambridge University Press 1165:Etnolingwistyka, Volume 24 972:Duchliński, Piotr (2014): 963:Cambridge University Press 767:Huuskonen, Taneli (2015): 751:Huuskonen, Taneli (2015): 701:Hirnyy, Oleg (June 2016). 473:foundations of mathematics 319:Polish Academy of Sciences 269:Order of Polonia Restituta 251:Order of Polonia Restituta 2305:Journal of Symbolic Logic 2271:. PhD dissertation under 2253:Journal of Symbolic Logic 2104:Journal of Symbolic Logic 1994:Rickey, Vincent Frederick 1852:Weihrauch, Klaus (1997): 1704:Słowik, Zdzisław (2002): 1509:Hainry, Emmanuel (2006): 1211:Jews in Polish Philosophy 1124:Journal of Symbolic Logic 947:; Brattka, Vasco (2014): 792:Kładoczny, Piotr (2015): 631:Majewska, Lucyna (2017): 423:Andrzej Białynicki-Birula 403: 389: 380: 275: 214:Grzegorczyk logic (S4Grz) 100: 2459:Drukarnia S. Orgelbranda 2266:25 February 2018 at the 2198:Ryll-Nardzewski, Czesław 2075:. In Guzicki, Wojciech; 1915:The Logic of Provability 1653:Hendricks, Vincent Fella 1595:Maksimova, Larisa Lvovna 1578:Maksimova, Larisa Lvovna 1543:-sub-recursive functions 1416:Maksimova, Larisa Lvovna 1370:, Volume 81, Issue 1–3. 1322:Barra, Matthias (2009): 1302:Maksimova, Larisa Lvovna 1191:14 November 2016 at the 1106:Cambridge, Massachusetts 1009:Urbaniak, Rafał (2014): 927:Maksimova, Larisa Lvovna 917:Trela, Grzegorz (2014): 405:Family members include: 257:Blaise Pascal University 34:This article includes a 2547:Computability theorists 2390:Jordan, Zbigniew Antoni 2310:Klemke, Dieter (1970): 2290:Klemke, Dieter (1971): 2161:Tatarkiewicz, Władysław 2120:Fundamenta Mathematicae 1825:Contemporary philosophy 1586:Oxford University Press 1430:Eisler, Jerzy Krzysztof 1410:Fundamenta Informaticae 1388:Wiadomości Matematyczne 1368:Fundamenta Informaticae 1265:. In Delon, Françoise; 1152:University of Białystok 1114:; Olkhovikov, Grigory; 908:Wydawnictwo Naukowe UAM 894:Wiadomości Matematyczne 849:Kwartalnik Filozoficzny 783:Biłat, Andrzej (2015): 742:Oxford University Press 323:University of Amsterdam 263:Jagiellonian University 196:Jagiellonian University 63:more precise citations. 2552:Mathematical logicians 2159:Tatarkiewicz, Teresa; 2067: 1887:Jadacki, Jacek Juliusz 1881:Przegląd Humanistyczny 1798:Alfred Tarski and the 1616:Jeřábek, Emil (2004): 1537: 1464:Jadacki, Jacek Juliusz 1456:Jadacki, Jacek Juliusz 463:noted for his work in 407:Stanisław Jan Majewski 365:Władysław Tatarkiewicz 2597:Catholic philosophers 2557:Polish mathematicians 2192:; Pacholski, Leszek; 2186:Kuratowski, Kazimierz 2068: 1981:Maryniarczyk, Andrzej 1875:Kaczor, Anna (1997): 1626:Szałas, Andrzej Piotr 1538: 1440:25 April 2015 at the 1275:Logic Colloquium 2007 1060:21 April 2015 at the 1034:21 April 2015 at the 775:11 March 2018 at the 759:10 March 2018 at the 558:List of Polish people 427:Iwo Białynicki-Birula 210:Grzegorczyk hierarchy 2368:Addison, John West; 2190:Marek, Wiktor Witold 2077:Marek, Wiktor Witold 2050: 2039:Paris, Jeffrey Bruce 2034:D. Reidel, Dordrecht 1877:Perspektywy edukacji 1687:Jaworowski, Zbigniew 1525: 1481:Trzęsicki, Kazimierz 1378:Krajewski, Stanisław 1354:Marek, Victor Witold 1350:Krajewski, Stanisław 1336:Marek, Victor Witold 1332:Ehrenfeucht, Andrzej 1134:Krajewski, Stanisław 1130:Trzęsicki, Kazimierz 1084:Copeland, Brian Jack 884:Krajewski, Stanisław 875:8 March 2018 at the 865:Krajewski, Stanisław 826:Marek, Victor Witold 639:1 March 2018 at the 431:Marcin Przeciszewski 315:University of Warsaw 200:University of Warsaw 2592:Christian ethicists 2281:Uppsala Universitet 2277:Stanford University 2085:University of Leeds 1764:Recursive Functions 980:Akademia Ignatianum 656:Śliwerski, Bogusław 440:Andrzej Grzegorczyk 375:Stanisław Krajewski 267:Officer's Cross of 107:Grzegorczyk in 2012 95:Andrzej Grzegorczyk 2420:Czeżowski, Tadeusz 2376:(editors) (1965): 2354:Rocznik Mazowiecki 2273:Dana Stewart Scott 2208:, Amsterdam & 2178:Mostowski, Andrzej 2154:Rocznik Mazowiecki 2091:, pp. 237–248 2073:sets and induction 2063: 2043:Wilkie, Alex James 2028:(editors) (1984): 1872:, pp. 185–199 1860:(editors) (1997): 1804:Logical Empiricism 1659:(editors) (2003): 1533: 1360:(editors) (2008): 1267:Kohlenbach, Ulrich 1253:Urquhart, Alasdair 1198:Harvard University 1140:(editors) (2012): 1116:Urquhart, Alasdair 1094:(editors) (2013): 914:, pp. 251–265 802:Palgrave Macmillan 615:(editors) (2017): 609:Stadler, Friedrich 489:Polish philologist 469:mathematical logic 249:Knight's Cross of 236:Tomasz Grzegorczyk 36:list of references 2602:Polish Christians 2572:Home Army members 2422:(editor) (1960): 1947:(editor) (1990): 1930:(editor) (1990): 1821:(editors) (1998): 1657:Malinowski, Jacek 1233:Frankfurt am Main 1196:. Senior Thesis, 1076:Feferman, Solomon 957:(editor) (2014): 814:(editor) (2015): 812:Góralski, Andrzej 437: 436: 371:Doctoral students 351:Andrzej Mostowski 277:Scientific career 89: 88: 81: 2624: 2562:Polish logicians 2325:. Proefschrift, 2314:. Dissertation, 2232:, 4 August 1977. 2216:, pp. 1–176 2072: 2070: 2069: 2064: 2062: 2061: 2026:Guenthner, Franz 1780:Gödel's theorems 1701:, pp. 29–37 1673:, pp. 11–33 1570:, pp. 37–38 1542: 1540: 1539: 1534: 1532: 1468:Paśniczek, Jacek 1108:, pp. 55–76 1050:Kamiński, Łukasz 1024:Kamiński, Łukasz 808:, pp. 67–86 748:, pp. 67–91 724: 722: 672:Niwiński, Damian 668:, 4 January 2016 650:Saint Petersburg 546: 537: 528: 519: 446: 394: 361:Zygmunt Zawirski 346:Doctoral advisor 340: 168: 164: 140: 122: 120: 105: 91: 84: 77: 73: 70: 64: 59:this article by 50:inline citations 29: 28: 21: 2632: 2631: 2627: 2626: 2625: 2623: 2622: 2621: 2522: 2521: 2471: 2268:Wayback Machine 2194:Rasiowa, Helena 2053: 2048: 2047: 1768:Metamathematics 1759:Murawski, Roman 1523: 1522: 1442:Wayback Machine 1435:Polski rok 1968 1289:, pp. 1–13 1271:Maddy, Penelope 1238:Murawski, Roman 1221:Murawski, Roman 1193:Wayback Machine 1167:, pp. 7–10 1062:Wayback Machine 1036:Wayback Machine 993:Murawski, Roman 984:Wydawnictwo WAM 969:, pp. 1–47 939:Russian version 877:Wayback Machine 836:European Review 777:Wayback Machine 770:Polish Notation 761:Wayback Machine 700: 641:Wayback Machine 566: 554: 547: 538: 529: 520: 511: 481: 433: 429: 425: 421: 417: 413: 409: 363: 338: 321: 317: 305: 301: 299:Religious study 297: 295: 291: 289: 266: 260: 254: 248: 235: 212: 198: 192:Alma mater 166: 162: 160: 147: 142: 138: 129: 124: 118: 116: 108: 96: 85: 74: 68: 65: 54: 40:related reading 30: 26: 17: 12: 11: 5: 2630: 2628: 2620: 2619: 2614: 2609: 2604: 2599: 2594: 2589: 2584: 2579: 2574: 2569: 2564: 2559: 2554: 2549: 2544: 2539: 2534: 2524: 2523: 2520: 2519: 2514: 2506: 2501: 2496: 2491: 2486: 2481: 2470: 2469:External links 2467: 2466: 2465: 2448: 2434: 2417: 2406: 2387: 2374:Tarski, Alfred 2366: 2357: 2344: 2330: 2319: 2308: 2297: 2288: 2256: 2245: 2233: 2217: 2175: 2157: 2143: 2126:Boolos, George 2123: 2110:Boolos, George 2107: 2092: 2060: 2056: 2036: 2019: 1990: 1978: 1961: 1942: 1925: 1911:Boolos, George 1908: 1901: 1894: 1884: 1873: 1850: 1836: 1815: 1791: 1770:: Problems of 1756: 1742: 1735: 1722: 1713: 1702: 1684: 1674: 1645: 1635: 1634:. October 2004 1623: 1614: 1602: 1592: 1571: 1561: 1548: 1531: 1516: 1507: 1498: 1488: 1478: 1453: 1427: 1413: 1400: 1391: 1375: 1347: 1329: 1320: 1309: 1299: 1290: 1257:Visser, Albert 1249: 1235: 1218: 1204: 1181: 1168: 1158: 1127: 1112:Mints, Grigori 1109: 1073: 1047: 1021: 1007: 990: 970: 945:Avigad, Jeremy 942: 924: 915: 897: 881: 862: 852: 839: 819: 809: 790: 781: 765: 749: 728:Visser, Albert 725: 698: 681: 669: 653: 629: 602: 581: 565: 562: 561: 560: 553: 550: 549: 548: 541: 539: 532: 530: 523: 521: 514: 510: 507: 491:and expert in 480: 477: 435: 434: 411:Erazm Majewski 404: 401: 400: 396: 395: 387: 386: 382: 381: 378: 377: 372: 368: 367: 358: 354: 353: 348: 342: 341: 332: 326: 325: 312: 308: 307: 284: 280: 279: 273: 272: 242: 238: 237: 232: 228: 227: 221: 217: 216: 207: 206:Known for 203: 202: 193: 189: 188: 183: 179: 178: 175: 171: 170: 153: 149: 148: 143: 141:(aged 91) 135: 131: 130: 125: 123:22 August 1922 114: 110: 109: 106: 98: 97: 94: 87: 86: 69:September 2021 44:external links 33: 31: 24: 15: 13: 10: 9: 6: 4: 3: 2: 2629: 2618: 2615: 2613: 2610: 2608: 2605: 2603: 2600: 2598: 2595: 2593: 2590: 2588: 2585: 2583: 2580: 2578: 2575: 2573: 2570: 2568: 2565: 2563: 2560: 2558: 2555: 2553: 2550: 2548: 2545: 2543: 2540: 2538: 2535: 2533: 2530: 2529: 2527: 2518: 2515: 2513: 2510: 2507: 2505: 2502: 2500: 2497: 2495: 2492: 2490: 2487: 2485: 2482: 2480: 2476: 2473: 2472: 2468: 2464: 2460: 2456: 2452: 2449: 2447: 2443: 2439: 2435: 2433: 2429: 2425: 2421: 2418: 2415: 2414:North-Holland 2411: 2407: 2405: 2401: 2397: 2396: 2391: 2388: 2385: 2384:North-Holland 2382: 2380: 2375: 2371: 2367: 2364: 2363: 2358: 2355: 2352: 2350: 2345: 2342: 2338: 2334: 2331: 2328: 2324: 2320: 2317: 2313: 2309: 2306: 2302: 2298: 2295: 2294: 2289: 2286: 2283:, Number 13, 2282: 2278: 2274: 2270: 2269: 2265: 2262: 2257: 2254: 2250: 2246: 2244: 2240: 2239: 2234: 2231: 2227: 2226: 2221: 2220:Chomsky, Noam 2218: 2215: 2211: 2207: 2206:North-Holland 2203: 2199: 2195: 2191: 2187: 2183: 2179: 2176: 2174: 2170: 2166: 2162: 2158: 2155: 2151: 2147: 2144: 2142: 2138: 2134: 2133: 2127: 2124: 2121: 2117: 2116: 2111: 2108: 2105: 2101: 2099: 2093: 2090: 2086: 2082: 2078: 2074: 2058: 2044: 2040: 2037: 2035: 2031: 2027: 2023: 2020: 2018: 2014: 2010: 2006: 2002: 2001: 1995: 1991: 1988: 1987: 1982: 1979: 1977: 1973: 1969: 1965: 1964:Woleński, Jan 1962: 1960: 1956: 1952: 1951: 1946: 1945:Woleński, Jan 1943: 1941: 1937: 1933: 1929: 1928:Woleński, Jan 1926: 1924: 1920: 1916: 1912: 1909: 1906: 1902: 1899: 1895: 1892: 1888: 1885: 1882: 1878: 1874: 1871: 1867: 1863: 1859: 1858:Valk, Rüdiger 1855: 1851: 1849: 1845: 1841: 1837: 1835: 1831: 1827: 1826: 1820: 1819:Woleński, Jan 1816: 1814: 1810: 1806: 1805: 1801: 1800:Vienna Circle 1795: 1794:Woleński, Jan 1792: 1790: 1786: 1782: 1781: 1777: 1773: 1769: 1765: 1760: 1757: 1755: 1751: 1747: 1743: 1740: 1736: 1733: 1729: 1728: 1723: 1720: 1719: 1714: 1711: 1707: 1703: 1700: 1696: 1692: 1688: 1685: 1683: 1679: 1675: 1672: 1668: 1664: 1663: 1658: 1654: 1650: 1646: 1643: 1641: 1636: 1633: 1632: 1627: 1624: 1621: 1620: 1615: 1612: 1611: 1606: 1603: 1600: 1596: 1593: 1591: 1587: 1583: 1579: 1575: 1572: 1569: 1565: 1562: 1559: 1558: 1553: 1549: 1546: 1544: 1517: 1514: 1513: 1508: 1505: 1504: 1499: 1496: 1494: 1489: 1486: 1482: 1479: 1476: 1473: 1469: 1465: 1461: 1457: 1454: 1452: 1448: 1444: 1443: 1439: 1436: 1431: 1428: 1425: 1424:Studia Logica 1421: 1417: 1414: 1411: 1407: 1406: 1401: 1398: 1397: 1392: 1389: 1385: 1384: 1379: 1376: 1373: 1369: 1365: 1364: 1359: 1358:Woleński, Jan 1355: 1351: 1348: 1345: 1341: 1337: 1333: 1330: 1327: 1326: 1321: 1318: 1314: 1310: 1307: 1303: 1300: 1297: 1296: 1291: 1288: 1284: 1280: 1276: 1272: 1268: 1264: 1263: 1258: 1254: 1250: 1247: 1243: 1239: 1236: 1234: 1230: 1226: 1222: 1219: 1216: 1212: 1208: 1207:Woleński, Jan 1205: 1203: 1199: 1195: 1194: 1190: 1187: 1182: 1179: 1176: 1174: 1169: 1166: 1163: 1159: 1157: 1153: 1149: 1145: 1144: 1139: 1138:Woleński, Jan 1135: 1131: 1128: 1125: 1121: 1117: 1113: 1110: 1107: 1103: 1099: 1098: 1093: 1092:Shagrir, Oron 1089: 1085: 1081: 1077: 1074: 1072: 1068: 1064: 1063: 1059: 1056: 1051: 1048: 1046: 1042: 1038: 1037: 1033: 1030: 1025: 1022: 1020: 1016: 1012: 1008: 1006: 1002: 998: 994: 991: 989: 985: 981: 977: 976: 971: 968: 964: 960: 956: 952: 951: 946: 943: 940: 936: 932: 928: 925: 922: 921: 916: 913: 909: 905: 903: 898: 895: 891: 890: 885: 882: 879: 878: 874: 871: 866: 863: 860: 856: 853: 850: 846: 845: 840: 837: 833: 832: 827: 823: 822:Woleński, Jan 820: 817: 813: 810: 807: 803: 799: 795: 791: 788: 787: 782: 779: 778: 774: 771: 766: 763: 762: 758: 755: 750: 747: 743: 739: 738: 733: 729: 726: 721: 716: 712: 708: 704: 699: 696: 695:Studia Logica 692: 691: 687: 682: 679: 678: 673: 670: 667: 663: 662: 657: 654: 651: 647: 643: 642: 638: 635: 630: 628: 624: 620: 619: 614: 613:Woleński, Jan 610: 606: 603: 600: 596: 592: 591: 586: 582: 580: 576: 572: 568: 567: 563: 559: 556: 555: 551: 545: 540: 536: 531: 527: 522: 518: 513: 508: 506: 504: 499: 497: 494: 490: 486: 478: 476: 474: 470: 466: 465:computability 462: 458: 454: 453:mathematician 450: 445: 441: 432: 428: 424: 420: 416: 412: 408: 402: 397: 393: 388: 383: 379: 376: 373: 369: 366: 362: 359: 355: 352: 349: 347: 343: 336: 333: 331: 327: 324: 320: 316: 313: 309: 304: 303:Social issues 300: 294: 288: 285: 281: 278: 274: 270: 264: 258: 252: 246: 245:Stefan Banach 243: 239: 233: 229: 225: 222: 218: 215: 211: 208: 204: 201: 197: 194: 190: 187: 184: 180: 176: 172: 158: 154: 152:Resting place 150: 146: 137:20 March 2014 136: 132: 128: 115: 111: 104: 99: 92: 83: 80: 72: 62: 58: 52: 51: 45: 41: 37: 32: 23: 22: 19: 2423: 2409: 2393: 2377: 2370:Henkin, Leon 2361: 2347: 2336: 2322: 2311: 2300: 2292: 2259: 2248: 2237: 2224: 2201: 2181: 2164: 2146:Hass, Ludwik 2129: 2114: 2098:Slow-Growing 2095: 2080: 2046: 1997: 1984: 1967: 1948: 1931: 1914: 1904: 1890: 1876: 1861: 1853: 1839: 1822: 1797: 1776:Decidability 1772:Completeness 1762: 1745: 1738: 1725: 1716: 1705: 1691:Eurocentrism 1690: 1677: 1661: 1648: 1638: 1629: 1617: 1608: 1563: 1555: 1551: 1519: 1510: 1501: 1491: 1471: 1459: 1433: 1419: 1403: 1394: 1381: 1361: 1339: 1323: 1312: 1293: 1274: 1260: 1241: 1224: 1210: 1184: 1171: 1161: 1141: 1095: 1079: 1053: 1027: 1010: 996: 973: 958: 948: 930: 918: 900: 887: 868: 858: 842: 829: 815: 797: 793: 785: 768: 752: 735: 731: 710: 706: 689: 685: 675: 666:Blog Pedagog 659: 632: 616: 605:Brożek, Anna 588: 584: 500: 482: 439: 438: 415:Karol Borsuk 334: 311:Institutions 276: 261:dr. h.c. of 255:dr. h.c. of 247:Prize (1957) 155:Cemetery in 139:(2014-03-20) 75: 66: 55:Please help 47: 18: 2607:2014 deaths 2532:1922 births 2416:, Amsterdam 2386:, Amsterdam 2333:Gabbay, Dov 2165:Wspomnienia 2132:Modal Logic 2022:Gabbay, Dov 1727:Sens Europy 1574:Gabbay, Dov 1470:(editors): 1374:, Amsterdam 1346:, Amsterdam 1248:, Amsterdam 955:Downey, Rod 855:Pelc, Jerzy 806:Basingstoke 496:linguistics 457:philosopher 293:Mathematics 182:Citizenship 174:Nationality 61:introducing 2526:Categories 2013:Ossolineum 1870:Heidelberg 1710:Res Humana 1695:Res Humana 1229:Peter Lang 1088:Posy, Carl 1001:Birkhäuser 296:philosophy 119:1922-08-22 2404:Dordrecht 2400:D. Reidel 2141:Cambridge 2055:Δ 2009:The Hague 2000:Mereology 1976:Dordrecht 1959:Dordrecht 1940:Dordrecht 1923:Cambridge 1848:Dordrecht 1834:Dordrecht 1813:Dordrecht 1789:Dordrecht 1671:Dordrecht 1372:IOS Press 1344:IOS Press 1287:Cambridge 1202:Cambridge 1156:Białystok 1102:MIT Press 967:Cambridge 385:Signature 306:Education 226:(m. 1953) 2463:Warszawa 2453:(1858): 2432:Warszawa 2392:(1963): 2335:(1969): 2264:Archived 2222:(1977): 2214:Warszawa 2180:(1979): 2173:Warszawa 2163:(1979): 2148:(1979): 2128:(1979): 2112:(1980): 2045:(1984): 1983:(1989): 1966:(1989): 1913:(1993): 1889:(1996): 1866:Springer 1761:(1999): 1689:(2003): 1682:Warszawa 1628:(2004): 1607:(2004): 1597:(2004): 1580:(2005): 1483:(2006): 1458:(2006): 1451:Warszawa 1438:Archived 1432:(2006): 1418:(2006): 1380:(2008): 1304:(2009): 1259:(2010): 1240:(2010): 1223:(2011): 1209:(2011): 1189:Archived 1118:(2013): 1078:(2013): 1071:Warszawa 1058:Archived 1045:Warszawa 1032:Archived 995:(2014): 929:(2014): 886:(2014): 873:Archived 867:(2015): 857:(2015): 828:(2015): 773:Archived 757:Archived 730:(2016): 674:(2016): 658:(2016): 637:Archived 552:See also 503:Pruszków 493:polonist 471:and the 461:ethicist 449:logician 231:Children 159:, Poland 157:Pruszków 2285:Uppsala 2017:Wrocław 564:Sources 509:Gallery 165:N 20°48 57:improve 2446:Kraków 2287:, 1971 2243:Munich 2011:& 1590:Oxford 1475:Rodopi 1246:Rodopi 988:Kraków 912:Poznań 746:Oxford 479:Family 459:, and 339:(1950) 337:  330:Thesis 290:Ethics 283:Fields 271:(2014) 265:(2013) 259:(2010) 253:(1997) 241:Awards 220:Spouse 186:Poland 177:Polish 145:Warsaw 127:Warsaw 2184:. In 2089:Leeds 1754:Toruń 1651:. In 1462:. In 1082:. In 1005:Basel 953:. In 399:Notes 287:Logic 161:52°10 42:, or 2096:The 1774:and 1766:and 1466:and 1019:Cham 627:Cham 599:Cham 579:Cham 487:, a 134:Died 113:Born 2477:at 715:doi 2528:: 2461:, 2457:. 2444:, 2440:. 2430:, 2426:. 2412:. 2402:, 2398:. 2372:; 2339:. 2303:. 2275:, 2251:. 2228:. 2212:, 2204:. 2196:; 2188:; 2171:, 2167:. 2152:. 2139:, 2135:. 2118:. 2102:. 2087:, 2083:. 2041:; 2032:. 2024:; 2007:, 2003:. 1974:, 1970:. 1957:, 1953:. 1938:, 1934:. 1921:, 1917:. 1879:. 1868:, 1864:. 1846:, 1842:. 1832:, 1828:. 1811:, 1807:. 1787:, 1783:. 1778:, 1752:, 1748:. 1730:. 1708:. 1693:. 1669:, 1665:. 1655:; 1588:, 1584:. 1576:; 1566:. 1449:, 1445:. 1422:. 1408:. 1386:. 1366:. 1352:; 1342:. 1334:; 1315:. 1285:, 1281:, 1269:; 1255:; 1244:. 1231:, 1227:. 1213:. 1200:, 1154:, 1150:. 1146:. 1136:; 1132:; 1122:. 1104:, 1100:. 1090:; 1086:; 1069:, 1065:. 1043:, 1039:. 1017:, 1013:. 1003:, 999:. 986:, 982:, 978:. 965:, 961:. 933:. 910:, 892:. 847:. 834:. 824:; 804:, 800:. 744:, 740:. 711:18 709:. 705:. 693:. 688:: 664:. 648:, 625:, 621:. 611:; 607:; 597:, 593:. 577:, 573:. 505:. 475:. 467:, 455:, 451:, 46:, 38:, 2381:. 2351:. 2059:0 1642:. 1545:. 1530:R 1495:. 1175:. 941:) 904:. 723:. 717:: 652:) 442:( 169:E 167:′ 163:′ 121:) 117:( 82:) 76:( 71:) 67:( 53:.

Index

list of references
related reading
external links
inline citations
improve
introducing
Learn how and when to remove this message

Warsaw
Warsaw
Pruszków
Poland
Jagiellonian University
University of Warsaw
Grzegorczyk hierarchy
Grzegorczyk logic (S4Grz)
Renata Maria Grzegorczykowa
Stefan Banach
Order of Polonia Restituta
Blaise Pascal University
Jagiellonian University
Order of Polonia Restituta
Logic
Mathematics
Religious study
Social issues
University of Warsaw
Polish Academy of Sciences
University of Amsterdam
Thesis

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.