Formální logika : neformální výklad základů formální logiky / Petr Jirků, Jiřina Vejnarová .  Praha :  Vysoká škola ekonomická v Praze,  2005 .  161 s.   [1, currently available 1]