EBERLE , ROLF A. LOGIC AND PROOF TECHNIQUES - 1ST. - GUWAHATI NEW CENTRAL BOOK AGENCY 1996 - 339: 20CM. Subjects--Index Terms: Mathematics Dewey Class. No.: 511.3 EBE