Elements of deductive inference : an introduction to symbolic logic /
Bessie, Joseph.
Glennan, Stuart.
Belmont, CA : Wadsworth Publishing,
c2000.
Includes index.
Predicate calculus.