R. R. Rockingham Gill <br/><br/>
Deducibility and Decidability 

 -  Taylor and Francis  1990 
<br/><br/><label>ISBN: </label>9780203015094 
<br/><br/><label>Source: </label>EBOOK