Michael J. O'Donnell. Equational logic as a programming language. Foundations of computing. The MIT Press, Cambridge, Mass., and London, 1985, xv + 296 pp
Saved in:
Published in: | The Journal of symbolic logic 1987-09, Vol.52 (3), p.873-874 |
---|---|
Main Author: | |
Format: | Article |
Language: | eng |
Online Access: | Get full text |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Summary: | |
---|---|
ISSN: | 0022-4812 1943-5886 |