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