First Course in Mathematical Logic - Suppes, Patrick ; Hill, Shirley