Proof and computation - Schwichtenberg Helmut (Berlin Springer-Verlag, 1995)
Keywords: Mathematical logic; Proof theory