Formální logika : neformální výklad základů formální logiky - Jirků, Petr, 1942-2017 (Vysoká škola ekonomická, 2000)