Proof theory

Kurt Schütte
Springer-Verlag
9780387079110
0-387-07911-4