Computational Logic and Proof Theory - Gottlob, Georg, 1956-; Leitsch, Alexander, 1952-; Mundici, Daniele, 1946- (Springer-Verlag, 1993)