First Course In Mathematical Logic by Patrick Suppes, Mathematics & Shirley A. Hill