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