Logic and computation : - Sieg, Wilfried, 1945- (Contemporary mathematics (American Mathematical Society), 1990)