MATHEMATICAL INTRODUCTION TO LOGIC - ENDERTON, HERBERT B (ACADEMIC, 2016.)