Computational logic : IA008 - Blumensath, Achim ([Masarykova univerzita. Středisko pro pomoc studentům se specifickými nároky], 2020)