Loading…
Equational logic as a programming language
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge, Mass
MIT Press
c1985
|
| Series: | MIT Press series in the foundations of computing
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
| LEADER | 00000nam a2200000 4500 | ||
|---|---|---|---|
| 001 | 00560898 | ||
| 003 | PWmBRO | ||
| 005 | 20240602100854.0 | ||
| 008 | 860617s1985 maua a o0011 eng l | ||
| 082 | 0 | 0 | |a 001.64 |b 24 |z 19 |
| 090 | 0 | 0 | |b 001.6424/O26e |
| 100 | 1 | 0 | |a O'Donnell, Michael J., |d 1952- |
| 245 | 1 | 0 | |a Equational logic as a programming language |c Michael J. O'Donnell |
| 260 | 0 | 0 | |a Cambridge, Mass |b MIT Press |c c1985 |
| 300 | 0 | 0 | |a 296 p. |b ill |c 24 cm. |
| 440 | 0 | 0 | |a MIT Press series in the foundations of computing |
| 595 | 0 | 0 | |a 026215028X |
| 650 | 0 | 0 | |a Programming languages (Electronic computers) |
| 650 | 0 | 0 | |a Logic, Symbolic and mathematical |
| 650 | 0 | 0 | |a Equations, Theory of |
| 942 | |2 ddc | ||
| 952 | |0 0 |1 0 |4 0 |6 001_642400000000000_O26E |7 0 |8 MN |9 45725 |a ML015 |b ML015 |c MN |d 2024-06-02 |l 0 |o 001.6424 O26e |p 046706 |r 2018-03-24 00:00:00 |w 2018-03-24 |y BK | ||
| 994 | |a 001046706 86315 0001 | ||
| 995 | 0 | 0 | |a NUNE |
| 999 | |c 32967 |d 32967 | ||