The mathematical methods a transition to advanced mathematics. - Eisenberg, Murray (Upper Saddle, NJ Prentice-Hall, 1996)
Keywords: Proof theory