O'Donnell, Michael J.,  1952- <br/><br/>
Equational logic as a programming language / 
Michael J. O'Donnell. 
 - Cambridge, Mass. :  MIT Press,  c1985. 
 - 296 p. :  ill. ;  24 cm. 
 - MIT Press series in the foundations of computing .
<br/><br/> Includes index. 
<br/><br/>Bibliography: p. [277]-284. 
<br/><br/><label>ISBN: </label>026215028X 
<br/><br/><label>LCCN: </label>84029507  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programming languages (Electronic computers)<br/>Logic, Symbolic and mathematical.<br/>Equations, Theory of.
<br/><br/><label>LC Class. No.: </label>QA76.7  / .701985 
<br/><br/><label>Dewey Class. No.: </label>001.64/24