A Transition to Higher Mathematics - Maddox, Randall B. (Academic Press, 2002)
Keywords: General; Logic, Symbolic and mathematical.,Proof theory; MATHEMATICS