Logika : Neformální výklad základů formální logiky - Jirků, Petr (Vysoká škola ekonomická v Praze, 1993)