Mathematical logic and theoretical computer science - Kueker, David W. 1943- (Lecture Notes in Pure and Applied Mathematics, 1987)