Předměty
- Vyčíslitelnost AALG110010 | Filozofická fakulta
- Vlastnosti axiomatických teoriíALG119006 | Filozofická fakulta
- Modální a neklasické logikyALG119008 | Filozofická fakulta
- Celkové splnění odborných aktivitAXLOOAK00 | Filozofická fakulta
- Logika II +1ALG100014 | Filozofická fakulta
- Jazyková průprava pro logikyALG100018 | Filozofická fakulta
- Aritmetika a algoritmyALG110008 | Filozofická fakulta
- Klasická logika II AALG110014 | Filozofická fakulta
- Neúplnost a Gödelovy větyALG119007 | Filozofická fakulta
- Logika v souvislostech a aplikacích +2ALG119015 | Filozofická fakulta
Publikace
- Kurt Gödel: Úplnost a neúplnost2015 | Filozofická fakulta
- On the polynomial-space completeness of intuitionistic propositional logic2003 | Filozofická fakulta
- The decision problem of provability logic with only one atom2003 | Filozofická fakulta
- A Note on Arithmetical Completeness of Theories with Rosser Modalities2003 | 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
- 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
Loading network view...