@book{3322,
	author = {Barwise,Jon. and Etchemendy,John.},
	title = {Language proof and logic},
	publisher = {CSLI Publications},
	year = {1999},
	address = {California}
}