The classical decision problem - Boerger, Egon, 1946- (Springer, 1997)