Grandy, Richard E <br/><br/>
Advanced logic for applications / 
Richard E. Grandy 
 - Dordrecht :  D. Reidel Publishing Company,  1977 
 - xi, 167 p. :  ill. ;  23 cm. 
 - Synthese library ; v.110 .
<br/><br/> Includes indexes 
<br/><br/>Bibliography: p. 161-162 
<br/><br/><label>ISBN: </label>9027707812 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical