@book{19865,
	author = {ENDERTON and NO},
	title = {MATHEMATICAL INTRODUCTION TO LOGIC},
	publisher = {ELSEVIER},
	year = {2006},
	edition = {2}
}