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