Introductory formal logic of mathematics - Nidditch P H (London University Tutorial Press, 1957)
Keywords: Mathematical logic