Search results
- Úvod do logiky: klasická predikátová logika / Jiří Raclavský . Brno : Masarykova univerzita, 2015 348 stran [1, currently available 1]
- Formální reprezentace znalostí / Alena Lukasová ... [et al.] . Ostrava : Ostravská univerzita v Ostravě, 2010 . 343 s. [1, currently available 1]
- Od jazyka k logice : filozofický úvod do moderní logiky / Vladimír Svoboda, Jaroslav Peregrin . Praha : Academia, 2009 . 428 s. [1, currently available 1]
- Matematika pro učitele primárního vzdělávání : množiny a výroky : distanční text / Vilma Novotná . Ostrava : Ostravská univerzita v Ostravě, Pedagogická fakulta, 2004 . 99 s. [1, currently available 1]
- Formální logika v umělé inteligenci / Alena Lukasová . Brno : Computer Press, 2003 . ix, 269 s. [2, currently available 2]