Introductory formal logic of mathematics - Nidditch, P. H. (London : University Tutorial Press, 1957)
Includes bibliography.
Keywords: Metamathematics; Logic, Symbolic and mathematical