Logic for computer scientists - Schoning, Uwe 1955- (Progress in computer science and applied logic, 1989)