Mathematical Logic door Schoenfeld & Joseph R. Shoenfield