HERBERT MATHEMATICAL INTRODUCTION TO LOGIC - ELSEVIER, 2009. - 0 - N . B.TECH Dewey Class. No.: 510/HER