MAREŠ, Jan. Matematická logika. Vyd. 1. V Praze : České vysoké učení technické, 2009. 92 s. Available on Internet: <http://toc.nkp.cz/NKC/201002/contents/nkc20102029587_1.pdf> ISBN 978-80-01-04478-0.