TY - BOOK AU - Suppes Patrick TI - Introduction to logic U1 - 160.Su959 PY - 1957/// CY - London PB - D Van Nostrand KW - Logic ER -