David Kueker <br/><br/>
Mathematical Logic and Theoretical Computer Science 

 -  Taylor and Francis  1986 
<br/><br/><label>ISBN: </label>9781003073055 
<br/><br/><label>Source: </label>EBOOK