Publications
- Kurt Gödel: Completeness and Incompleteness2015 | 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
- Decision Problems of some Intermediate Logics and Their Fragments2010 | Faculty of Arts
- Relatives of Robinson Arithmetic2009 | Faculty of Arts
- Preface2009 | Faculty of Arts
- On Interpretability in the Theory of Concatenation2009 | Faculty of Mathematics and Physics
- Weak Theories and Essential Undecidability2008 | Faculty of Arts
Classes
- Publications and Research Activities I - Total Requirement CompletedAXLOOAK00 | Faculty of Arts
- Publications and Research Activities IAXLOOAK01 | Faculty of Arts
- Publications and Research Activities IIAXLOOAK02 | Faculty of Arts
- Publications and Research Activities IIIAXLOOAK03 | Faculty of Arts
- Publications and Research Activities IVAXLOOAK04 | Faculty of Arts
- Publications and Research Activities VAXLOOAK05 | Faculty of Arts
- Publications and Research Activities VIAXLOOAK06 | Faculty of Arts
- Publications and Research Activities VIIAXLOOAK07 | Faculty of Arts
- Publications and Research Activities VIIIAXLOOAK08 | Faculty of Arts
- Logic II +1ALG100014 | Faculty of Arts
Loading network view...