@book{53998,
	author = {Pospesel, Howard,},
	title = {Predicate logic /},
	publisher = {Prentice-Hall, },
	year = {c1976.},
	series = {Introduction to logic},
	address = {Englewood Cliffs, N.J. : }
}