@book{60,
	author = {Barwise, Jon and John Etchemendy},
	title = {The language of First-order logic},
	publisher = {CSLI Publications},
	year = {1993},
	address = {California },
	edition = {3rd ed.}
}