TY - BOOK AU - Leblanc,Hugues TI - Deductive logic U1 - 162 PY - 1972///] CY - Boston PB - Allyn and Bacon ER -