O´Donnell, Michael J.  <br/><br/>
Equational logic as a programming language  
/ Michael J. O´Donnell. 
 - 1a ed. 
 - Cambridge, MA. :   The MIT Press,   c1985 
 - 296 p. :   il. ;   23 cm. 
<br/><br/>Bibliografía : p. 277-284 Incluye índice 
<br/><br/><label>ISBN: </label>026215028X 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Lenguajes de programación ( Computadores electrónicos)<br/>Lógica matemática<br/>Teoría de equaciones
<br/><br/><label>LC Class. No.: </label>QA76.7   / O36 1985