Logic of computation - Schwichtenberg, Helmut, 1955- (Springer, 1997)
Proceedings of the NATO Advanced Study Institute on Logic of Computation, held in Marktoberdorf, Germany, July 25-August 6, 1995