Mathematical logic and theoretical computer science - Kueker, David W. 1943- (Marcel Dekker, 1987)