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