Introductory formal logic of mathematics - Nidditch, P.H (University Tutorial Press Ltd, 1957)