Computational logic : IA008. - Popelínský, Lubomír ([Masarykova univerzita. Středisko pro pomoc studentům se specifickými nároky], 2019)