Title: Understanding mathematical proof
Description: xix, 394 pages ; 24 cm
Subjects: Proof theory, Symbolic and mathematical Logic, Logic, Symbolic and mathematical