Mathematical proofs a transition to advanced mathematics - Chartrand, Gary 1936-; Polimeni, Albert D.; Zhang, Ping (Pearson/Addison Wesley, 2008)
Keywords: Proof theory -- Textbooks; Mathematik; Beweistheorie; Lehrbuch