- Gödelovy-Dummettovy predikátové logiky a axiomy prenexovatelnosti2007 | Filozofická fakulta
- Program Tarski's World a výuka jazyka predikátové logiky2006 | Filozofická fakulta
- Poznámka o vztahu vyplývání v predikátové logice1999 | Filozofická fakulta
- Je elementární logika totéž co predikátová logika prvního řádu?1997 | Matematicko-fyzikální fakulta
- Kurt Gödel: Úplnost a neúplnost2015 | Filozofická fakulta
- Grafy logických struktur poznatkových systémů a pojmové mapy2010 | Přírodovědecká fakulta
- SPASS verze 3.52009 | Matematicko-fyzikální fakulta
- Logika : učebnice pro přijímací zkoušky na právnické a humanitní fakulty2002 | Fakulta tělesné výchovy a sportu
- Matematika a počítačové důkazy2008 | Matematicko-fyzikální fakulta
- Matematika a počítačové důkazy2008 | Pedagogická fakulta
- Logika pro všechny ochotné myslet2011 | Filozofická fakulta