Úvod do logiky - Svatek, Jan (Vysoká škola strojní a textilní, 1991)