@book{117979,
	author = {Davis, Wayne A.,},
	title = {An introduction to logic /},
	publisher = {Prentice-Hall,},
	year = {c1986.},
	address = {Englewood Cliffs, N.J. :}
}