The Elements of Mathematical Logic, Dover 1950;