Úvod do logickej syntaxe a sémantiky - Cmorej, Pavel (IRIS, 2001)