Classes
- Computability BALG210004 | Faculty of Arts
- Classical Logic II BALG210006 | Faculty of Arts
- Chapters from Classical LogicALG500003 | Faculty of Arts
- Chapters from Classical Logic IALG519019 | Faculty of Arts
- Chapters from Classical Logic IIALG519020 | Faculty of Arts
- Logic II +1ALG100014 | Faculty of Arts
- Foreign Language for LogiciansALG100018 | Faculty of Arts
- Arithmetic and AlgorithmsALG110008 | Faculty of Arts
- Computability AALG110010 | Faculty of Arts
- Classical Logic II AALG110014 | Faculty of Arts
Publications
- Weak Theories and Essential Undecidability2008 | Faculty of Arts
- An Interpretation of Robinson Arithmetic in its Grzegorczyk's Weaker Variant2007 | Faculty of Arts
- A Note on Arithmetical Completeness of Theories with Rosser Modalities2003 | 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
- Kurt Gödel: Completeness and Incompleteness2015 | 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
- Decision Problems of some Intermediate Logics and Their Fragments2010 | Faculty of Arts
- Relatives of Robinson Arithmetic2009 | Faculty of Arts
Loading network view...