MATHEMATICAL INTRODUCTION TO LOGIC - Enderton,Herbert B. (Harcourt Academic Press, San Diego, 2001)
Keywords: Logic, Symbolic And Mathematical