Uniwersytet Papieski Jana Pawła II
w Krakowie
Wydział Filozoficzny

Monografie:

• Teza Churcha. Kontekst historyczno-filozoficzny, Kraków: Universitas 2009. [szukaj w bibliotece]
• Church's Thesis After 70 Years [red.], Niemcy: Ontos Verlag 2006. [dostępne w księgarni] [szukaj w bibliotece]
• O rozumieniu implikacji w klasie logik porządku i jego znaczeniu w dążeniu do pewności językowej, Kraków: PAT 1997. [szukaj w bibliotece]

Artykuły Książkowe:

• Intuicjonizm vs Platonizm. Na przykładzie lematu Koeniga [w:] I. Bondecka-Krzykowska, J. Pogonowski [red.], Swiaty matematyki. Tworzenie czy odkrywanie?, Poznań: Wydawnictwo Naukowe UAM 2010, s. 261-274. [szukaj w bibliotece]
• Istnienie świata a nauka. Komentarz logiczny [współatorstwo z:] Brożek B./Olszewski A. [w:] Ponad demarkacją, Tarnów: Biblos 2008, s. 15-25. [szukaj w bibliotece]
• Church's Thesis as Formulated by Church [w:] Olszewski A., Woleński J., Janusz R. [red.], Church's Thesis after 70 years, Frankfurt: Ontos Verlag 2006, s. 383-392. [szukaj w bibliotece]
• Teza Churcha a geneza pojeć obliczalności. Zarys problemu [w:] Wszołek St., Janusz R. [red.], Wyzwania racjonalności. Księdzu Michałowi Hellerowi wspólpracownicy i uczniowie, Kraków: WAM , OBI 2006, s. 171-178. [szukaj w bibliotece]
• Uwagi filozoficzno - logiczne na temat kłósakowskich implikacji ontologicznych typu redukcyjnego [w:] Liana Zbigniew [red.], Filozofia a Nauka, Tarnów: OBI, Biblos 2004, s. 97-116. [szukaj w bibliotece]

Artykuły w Czasopismach:

• Kilka uwag o kryterium Quine'a [współatorstwo z:] Bartosz Brożek [w:] Filozofia nauki, X 2010, s. 1-10.
• Uwagi o Rajmundzie Lullusie, jego dziele i logice treści [w:] Logos I Ethos, 1(28) 2010, s. 89-106. [szukaj w bibliotece]

Artykuły w Czasopismach:

• O nieusuwalności podmiotu matematycznego [w:] Zagadnienia Filozoficzne w Nauce, 45 2009, s. 1-15. [szukaj w bibliotece]
• Uwagi o dowodzie Tezy Churcha [w:] Filozofia Nauki, 4 2005, s. 113-128. [szukaj w bibliotece]
• Church's Thesis as an Empirical Hypothesis [w:] Informatica, 3 2005, s. 119-130. [szukaj w bibliotece]
• Teza Churcha a definicja prawdy Tarskiego [w:] Analecta Cracoviensia, 33 2001, s. 171-176. [szukaj w bibliotece]
• Godel a Teza Churcha [w:] Sosnowieckie Studia Teologiczne, 5 2001, s. 31-34. [szukaj w bibliotece]
• Maszyna Posta [w:] Tarnowskie Studia Teologiczne, 1 2001, s. 14-16. [szukaj w bibliotece]
• Jak uczyć logiki? [w:] Zagadnienia Filozoficzne w Nauce, XXVI 2000, s. 111-114. [szukaj w bibliotece]
• Teza Churcha a twierdzenie Godla [w:] Zagadnienia Filozoficzne w Nauce, XXVI 2000, s. 59-65. [szukaj w bibliotece]
• Kilka uwag na temat demokracji [w:] Logos i Ethos, 1(7) 1999, s. 116-122. [szukaj w bibliotece]
• Benedykta Bornsteina logika treści [w:] Zagadnienia Filozoficzne w Nauce, XXIII 1999, s. 95-101. [szukaj w bibliotece]
• Teza Churcha a Platonizm [w:] Zagadnienia Filozoficzne w Nauce, XXIV 1999, s. 96-100. [szukaj w bibliotece]
• O roli Tezy churcha w dowodzie pewnego twierdzenia [w:] Zagadnienia Filozoficzne w Nauce, XXV 1999, s. 76-81. [szukaj w bibliotece]
• O znaczeniu okresu warunkowego [w:] Zagadnienia Filozoficzne w Nauce, XXII 1998, s. 53-62. [szukaj w bibliotece]