TY  - BOOK
AU  - O´Donnell,Michael J.
TI  - Equational logic as a programming language 
SN  - 026215028X
AV  - QA76.7  O36 1985
PY  - 1985///
CY  - Cambridge, MA. : 
PB  - The MIT Press, 
KW  - lemb
KW  - Lenguajes de programación ( Computadores electrónicos)
KW  - Lógica matemática
KW  - Teoría de equaciones
N1  - Bibliografía : p. 277-284; Incluye índice
ER  -