TY  - BOOK
AU  - O'Donnell, Michael J.
TI  - EQUATIONAL LOGIC AS A PROGRAMMING LANGUAGE
U1  - 001.6424 
PY  - 1985///
CY  - Cambridge
PB  - Mit Pr.
KW  - Programming Languages (Electronic Computers)
KW  - Logic, Symbolic And Mathematical
KW  - Equations, Theory Of
ER  -