The Elements of Mathematical Logic door Paul C. Rosenbloom