Equational logic as a programming language

Författare
Michael J. O'Donnell
(Michael J. O'Donnell.)
Språk
Engelska
Förlag År Ort Om boken ISBN
MIT Press cop. 1985 USA, Cambridge, Mass 296 sidor.