Publikace
- Kurt Gödel: Úplnost a neúplnost2015 | Filozofická fakulta
- Gödelovy-Dummettovy predikátové logiky a axiomy prenexovatelnosti2007 | Filozofická fakulta
- O vzájemné interakci kvantifikátorů v Godelových-Dummetových fuzzy logikách2006 | Filozofická fakulta
- Poznámka o vzájemné vyjádřitelnosti logických spojek v konečněhodnotových Godelových-Dummettových logikách2006 | Filozofická fakulta
- On Godel First Incompleteness Theorem2004 | Filozofická fakulta
- On Inter-Expressibility of Logical Connectives in Gödel Fuzzy Logic2000 | Filozofická fakulta
- Do we need recursion?2020 | Filozofická fakulta
- Modern Czech Logic: Vopěnka and Hájek, History and Background2018 | Filozofická fakulta
- On strong fragments of Peano arithmetic2015 | Filozofická fakulta
- Infinite Natural Numbers: an Unwanted Phenomenon, or a Useful Concept?2011 | Filozofická fakulta
Předměty
- Logika II +1ALG100014 | Filozofická fakulta
- Klasická logika II AALG110014 | Filozofická fakulta
- Vlastnosti axiomatických teoriíALG119006 | Filozofická fakulta
- Neúplnost a Gödelovy větyALG119007 | Filozofická fakulta
- Interpretations of Gödel incompleteness theoremALGV19006 | Filozofická fakulta
- Jazyková průprava pro logikyALG100018 | Filozofická fakulta
- Aritmetika a algoritmyALG110008 | Filozofická fakulta
- Vyčíslitelnost AALG110010 | Filozofická fakulta
- Modální a neklasické logikyALG119008 | Filozofická fakulta
- Logika v souvislostech a aplikacích +2ALG119015 | Filozofická fakulta
Loading network view...