Normal view MARC view ISBD view

Equational logic as a programming language

O'Donnell, Michael J.
Equational logic as a programming language / Michael J. O'Donnell. - Cambridge : MIT Press , cop. 1985 . - 296 p. : il. ; 23 cm. - (Foundations of Computing series)

ISBN 0-262-15028-X

Print
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS
More searches

Search for this title in:
RUN B-On Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)