Publikace
- Do we need recursion?2020 | Filozofická fakulta
- Modern Czech Logic: Vopěnka and Hájek, History and Background2018 | Filozofická fakulta
- Kurt Gödel: Úplnost a neúplnost2015 | Filozofická fakulta
- On strong fragments of Peano arithmetic2015 | Filozofická fakulta
- Infinite Natural Numbers: an Unwanted Phenomenon, or a Useful Concept?2011 | Filozofická fakulta
- Rozhodovac� �lohy v�rokov�ch logik roz�i�uj�c�ch intuicionistickou logiku a jej�ch fragment�2010 | Filozofická fakulta
- Relatives of Robinson Arithmetic2009 | Filozofická fakulta
- Preface2009 | Filozofická fakulta
- O interpretovatelnosti v teorii konkatenace2009 | Matematicko-fyzikální fakulta
- Slabé teorie a podstatná nerozhodnutelnost2008 | Filozofická fakulta
Předměty
- Aritmetika a algoritmyALG110008 | Filozofická fakulta
- Logika II +1ALG100014 | Filozofická fakulta
- Jazyková průprava pro logikyALG100018 | Filozofická fakulta
- Vyčíslitelnost AALG110010 | Filozofická fakulta
- Klasická logika II AALG110014 | Filozofická fakulta
- Vlastnosti axiomatických teoriíALG119006 | Filozofická fakulta
- Neúplnost a Gödelovy větyALG119007 | Filozofická fakulta
- Modální a neklasické logikyALG119008 | Filozofická fakulta
- Logika v souvislostech a aplikacích +2ALG119015 | Filozofická fakulta
- Vyčíslitelnost BALG210004 | Filozofická fakulta
Loading network view...