TY - BOOK AU - Ambrose. Alice TI - Logic: the theory of formal inference PY - 1961/// CY - NEW YORK PB - HOLT, RINEHART AND WINSTON, INC KW - MATHEMATICS ER -