Mathematical logic and theoretical computer science - Kueker, David W.; Lopez - Escobar, Edgar G. K.; Smith, Carl H. (Lecture notes in pure and applied mathematics ; ;, 1987)