@book{6639,
	author = {Halverson, William H.},
	title = {A Concise Logic vol. 1},
	publisher = {Random House,},
	year = {1984.}
}