Úvod do logiky a logického programování

aktualni verze presunuta na http://www.fi.muni.cz/~popel/lectures/bak_logika/