JIRKŮ, Petr, VEJNAROVÁ, Jiřina. Formální logika: neformální výklad základů formální logiky. 2. vyd. Praha: Oeconomica, 2005. 161 s. Vysoká škola ekonomická v Praze, Fakulta informatiky a statistiky. ISBN 80-245-0974-1. ISBN 978-80-245-0974-7.
Dostupné digitalizovaně komerčně přes Google: http://books.google.cz/books?isbn=8024509741.
1. vyd. možná dostupné volně z webu autora (formát PostSrcipt): http://www.cuni.cz/~jirkup/logika/logika2.ps