Classes
- Logic II +1ALG100014 | Faculty of Arts
- Classical Logic II AALG110014 | Faculty of Arts
- Properties of axiomatic theoriesALG119006 | Faculty of Arts
- Gödel's Theorems and IncompletnessALG119007 | Faculty of Arts
- Interpretations of Gödel incompleteness theoremALGV19006 | Faculty of Arts
- Foreign Language for LogiciansALG100018 | Faculty of Arts
- Arithmetic and AlgorithmsALG110008 | Faculty of Arts
- Computability AALG110010 | Faculty of Arts
- Modal and nonclassical logcALG119008 | Faculty of Arts
- Applications of Logic +2ALG119015 | Faculty of Arts
Publications
- Kurt Gödel: Completeness and Incompleteness2015 | Faculty of Arts
- Gödel-Dummett Predicate Logics and Axioms of Prenexability2007 | Faculty of Arts
- 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
- On Godel First Incompleteness Theorem2004 | Faculty of Arts
- On Inter-Expressibility of Logical Connectives in Gödel Fuzzy Logic2000 | Faculty of Arts
- Do we need recursion?2020 | Faculty of Arts
- Modern Czech Logic: Vopěnka and Hájek, History and Background2018 | Faculty of Arts
- On strong fragments of Peano arithmetic2015 | Faculty of Arts
- Infinite Natural Numbers: an Unwanted Phenomenon, or a Useful Concept?2011 | Faculty of Arts
Loading network view...