Predicate logic introduction to logic
Pospesel, Howard,1937-
Englewood Cliffs London Prentice-Hall
1976
With partial solutions to starred exercises
Includes index
Predicate (Logic)
First-order logic.