Edinburgh LCF :
a mechanised logic of computation /
Michael J. Gordon, Arthur J. Miller, and Christopher P. Wadsworth.

Description

Main Author

Gordon, Michael J. C., 1948-

Related Names

Wadsworth, Christopher P., author.
Milner, R. (Robin), 1934-2010, author.

Language(s)

English

Published

Berlin ; Springer-Verlag, 1979.

Subjects

Computable functions > Computable functions / Data processing.
Edinburgh LCF (Computer system)

Note

Includes index.

Physical Description

viii, 159 p. ; 25 cm.

ISBN

0387097244

Locate a Print Version

Find in a library

Viewability