Maddox, Randall B.

Mathematical Thinking and Writing A Transition to Higher Mathematics - Academic Press 2002

9780124649767


General
Logic, Symbolic and mathematical.,Proof theory.
MATHEMATICS