A mathematical introduction to logic - Enderton, Herbert.B (INDIA ELSEVIER, 2010)
Keywords: MATHEMATICAL LOGIC.INTRODUCTION TO LOGIC