Úvod do logickej syntaxe a sémantiky. - Cmorej, Pavel (Iris, vydavateľstvo, 2001)