Grandy, Richard E. <br/><br/>
Advanced logic for applications 
by Richard E. Grandy 
 - Dordrecht-Holland  D. Reidel  c1977 
 - xi,167p.; 23cm.- 
 - Synthese library; v.110 .
<br/><br/><label>Dewey Class. No.: </label>511.3  / GRA