@book {Cmorej:2002,
	title = {{\'U}vod do logick{\'e} syntaxe a s{\'e}mantiky},
	year = {2002},
	pages = {228},
	publisher = {Triton},
	organization = {Triton},
	address = {Praha},
	isbn = {ISBN 80-7254-294-X},
	author = {Pavel Cmorej}
}
