| LDR | | 00651namu 2200217 k 4500 |
| 001 | | 000000195648 |
| 005 | | 20071128104116 |
| 008 | | 071128s1985 us a 001a eng |
| 020 | |
▼a 026215028X |
| 040 | |
▼a 247004 |
| 049 | |
▼l M0361908 |
| 056 | |
▼a 414 |
| 090 | |
▼a 414
▼b O26e |
| 100 | |
▼a O'Donnell, Michael J. |
| 245 | |
▼a Equational logic as a programming language /
▼d Michael J. O'Donnell |
| 260 | |
▼a Cambridge :
▼b MIT Press,
▼c 1985 |
| 300 | |
▼a 296 p. :
▼b ill. ;
▼c 24 cm. |
| 440 | |
▼a MIT Press series in the foundations of computing |
| 504 | |
▼a Includes index |
| 653 | |
▼a Programming languages/
▼a Logic, Symbolic and mathematical |
| 950 | |
▼b \9000 |