@book{17188,
	author = {Bachhuber, Andrew H.},
	title = {Introduction to Logic},
	year = {1998},
	note = {includes appendix and index}
}