Introductory formal logic of mathematics - Nidditch, Ph (1957)