Proof theory - Schutte Kurt; Crossley J N (Berlin Springer-Verlag, 1977)
Keywords: Mathematical logic; Proof theory