Rosenbloom, Paul C Elements of Mathematical Logic - NewYork : Dover Publcations, 2005 - 214p. Dewey Class. No.: 510 / ROS-E