Grandy, E. Richard <br/><br/>
Advanced logic for applications 
E. Richard Grandy 
 - Boston :  D. Reidel Publishing Compan ,  1977. 
 - xi, 167p. :  ill. ;  23 cm. 
<br/><br/>Includes bibliographical references<br/> 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, symbolic and mathematical
<br/><br/><label>LC Class. No.: </label>BC135.G7