Introductory formal logic of mathematics - Nidditch, P. H. (The Free Press of Glencoe, 1957)