@book{1655,
	author = {Barwise, Jon. and Etchemendy, John.},
	title = {Language, proof, and logic /},
	publisher = {CSLI Publications,},
	year = {c2002.},
	address = {Stanford, Calif. :},
	note = {Includes index.}
}