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