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
- 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
- Preface2009 | 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
- O modálních systémech s rosserovskými modalitami2006 | 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
Předměty
- Logika II +1ALG100014 | Filozofická fakulta
- Jazyková průprava pro logikyALG100018 | Filozofická fakulta
- Aritmetika a algoritmyALG110008 | Filozofická fakulta
- Klasická logika II AALG110014 | Filozofická fakulta
- Vlastnosti axiomatických teoriíALG119006 | Filozofická fakulta
- Modální a neklasické logikyALG119008 | Filozofická fakulta
- Logika v souvislostech a aplikacích +2ALG119015 | Filozofická fakulta
- Klasická logika II BALG210006 | Filozofická fakulta
- Kapitoly z klasické logikyALG500003 | Filozofická fakulta
- Logic seminar IALG500017E | Filozofická fakulta
Loading network view...