Kueker, David W.  <br/><br/>
Mathematical logic and theoretical computer science 
/ by David W. Kueker; Edgar G. K. Lopez-Escobar; Carl H. Smith 
 - New york  Marcel Dekker  1987 
 - 383p. 
<br/><br/><label>Dewey Class. No.: </label>511.3  / KUE/M