Normal view MARC view ISBD view

Edinburgh LCF : a mechanised logic of computation

Gordon, Michael J.

Edinburgh LCF : a mechanised logic of computation - - Berlin Springer-Verlag, 1979 - viii,159 p. 24 cm - .

ISBN: 3-540-09724-41

Subjects--Topical Terms:

Edinburgh LCF (Computer system)
Computable functions-Data processing

Universal Decimal Class. No.: 681.3 Gor

Print
Add to your cart (remove)
More searches

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