@book {Cmorej:2001,
	title = {{\'U}vod do logickej syntaxe a s{\'e}mantiky},
	year = {2001},
	pages = {142},
	publisher = {Iris},
	organization = {Iris},
	address = {Bratislava},
	isbn = {ISBN 80-89018-19-X},
	author = {Pavel Cmorej}
}
