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