- The Philosophical Significance of Gödel's Theorem2006 | Faculty of Arts
- Gödel’s Incompleteness Theorem and the Relation of Logical Consequence2010 | Faculty of Arts
- Gödel's Theorems and the Synthetic-Analytic Distinction2006 | Faculty of Arts
- Philosophy of mathematics after Gödel2006 | Faculty of Arts
- Gödel-Dummett Predicate Logics and Axioms of Prenexability2007 | Faculty of Arts
- Kurt Gödel: Completeness and Incompleteness2015 | Faculty of Arts
- Kurt Gödel: Philosophical Essayes.1999 | Faculty of Mathematics and Physics
- On Interplay of Quantifiers in Godel-Dummett Fuzzy Logics2006 | Faculty of Arts
- Note on Inter-Expressibility of Logical Connectives in Finitely-Valued Godel-Dummett Logics2006 | Faculty of Arts
- What do Gödel theorems tell us about Hilbert`s solvability thesis?2009 | Faculty of Arts
- Mathematical Realism and Penelope Maddy's Naturalism2012 | Faculty of Arts
- On Godel First Incompleteness Theorem2004 | Faculty of Arts
- René Descartes - lapsus mentis2018 | First Faculty of Medicine
- Logical and philosophical riddles of Raymond Smullyan2009 | Publication without faculty affiliation
- On Inter-Expressibility of Logical Connectives in Gödel Fuzzy Logic2000 | Faculty of Arts
- A Note on Godel Fuzzy Logic1999 | Faculty of Arts
- Jaroslav Malina, jan Novotný (editoři): Kurt Gödel1997 | Faculty of Mathematics and Physics
- The Concept of Number and Its Logic. The Development of Foundations of Arithmetic by Frege, Gödel and Lorenzen2008 | Faculty of Arts
- Where is the Gödel-Point hiding: Gentzen's Consistency Proof of 1936 and his Representation of Constructive Ordinals2014 | Faculty of Arts
- Dostálová, Ludmila: Hilbert’s programme: on the change of mathematical practice before and after incompleteness theorems of Gödel. (Czech)2013 | Publication without faculty affiliation
- Conversion of Children - Theological Approach Focused on Catechesis2011 | Faculty of Education, Hussite Theological Faculty
- 'Qinghua School of Logic': Mathematical Logic at Qinghua University in Peking, 1926-19452021 | Faculty of Arts
- Uroboros ještě nedojedl2008 | Publication without faculty affiliation
- Semantics as Based on Inference2006 | Faculty of Arts
- Truth and (Un)Provability2023 | Faculty of Arts
- Wodin(s) solution of CH2016 | Faculty of Arts
- Axiomatic Fuzzy Set Theories2003 | Faculty of Arts
- Logic for all ready thinkers2011 | Faculty of Arts
- Woodin solution(s) of CH2016 | Faculty of Arts
- UNDERSTANDING, EXPRESSION AND UNWELCOME LOGIC2020 | Faculty of Mathematics and Physics