Michael J. O'Donnell. Equational logic as a programming language. Foundations of computing. The MIT Press, Cambridge, Mass., and London, 1985, xv + 296 pp

Bibliographic Details

Published in:	The Journal of symbolic logic 1987-09, Vol.52 (3), p.873-874
Main Author:	Taylor, Walter
Format:	Article
Language:	eng
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!