Introductory formal logic of mathematics.
Nidditch, P. H.
London, 
1957.