@book{37071,
	author = {Barwise,Jon and Etchemendy,John},
	title = {Language,proof and  Logic /},
	publisher = {C S L I Publication.},
	year = {c2008.},
	address = {United State of America.},
	note = {include Glossary and index}
}