Matematická logika - cvičení : prezentace ke kurzu MA 007 2005. - Kučera, Antonín, 1971- (Masarykova univerzita. Středisko pro pomoc studentům se specifickými nároky, 2006)