Inglés

Equational logic as a programming language
Título Equational logic as a programming language ;Michael J. O'Donnell ;
Lugar de publicación

London

Cambridge, Massachusetts ;

Editorial The MIT Press
Fecha de publicación cop. 1985