Logic and Computation - Sieg, Wilfried, 1945- (Contemporary Mathematics., 1990)