Mathematical logic and theoretical computer science. - Kueker David W Ed.; Smith Carl H Ed. (New York Marcel Dekker, 1987)