TY - BOOK AU - LEBLANC HUGUES TI - INTRODUCTRION TO DEDUCTIVE LOGIC U1 - 162 L493I PY - 1955/// CY - LONDON PB - CHAPMAN ER -