@book{11500,
	author = {Barwise, J and John Etchemendy},
	title = {Language proof and logic},
	publisher = {New york},
	year = {1999},
	address = {Seven Bridges Press}
}