@book{77187,
	author = {Bittinger, Marvin L},
	title = {Logic and Proof},
	publisher = {Addison-Wesley},
	year = {1978},
	address = {Philippines}
}