@book {
	author = {Hankovszky, Tamás},
	title = {Elsőrendű logika},
	year = {2018},
	publisher = {Akadémiai Kiadó},
	isbn = {978 963 454 254 4},
	doi = {10.1556/9789634542544},
	URL = {https://mersz.hu/kiadvany/368}
}