MATHEMATICAL INTRODUCTION TO LOGIC - HERBERT (ELSEVIER, 2009.)
B.TECH