AU - Pospesel,Howard . TI - Predicate Logic / SN - 0 13 486225 2 U1 - 160 PY - 1976/// CY - New Jersey PB - Prentice-Hall , KW - Philosophy & Logic N1 - $43; NULL ER -