@book{90508,
	author = {Bittinger, Marvin L.},
	title = {Logic and proof},
	publisher = {Addison-Wesley},
	year = {1972, c1970.},
	address = {Reading, Mass.}
}