@book{589415,
	author = {GENESERETH,MICHEAL.},
	title = {INTRODUCTION TO LOGIC /},
	year = {2017.},
	address = {CLAY POOL PUBLISHER ;},
	edition = {3rd ED.}
}