001.6424 / Ob5e
O'Donnell, Michael J.
EQUATIONAL LOGIC AS A PROGRAMMING LANGUAGE
/
.- Cambridge: Mit Pr., 1985
.- 297 .
.- ( Mit Press Series In The Foundations Of Computing
Subject Headings:
Programming Languages (Electronic Computers);
Logic, Symbolic And Mathematical;
Equations, Theory Of;
Copy Details:
Acc. No.: A94216, Full Call No.: 001.6424 Ob5e, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------