Úvod do logiky a logického programování. - Popelínský, Lubomír (Středisko pro pomoc studentům se specifickými nároky, 2007)