Cover is for reference only

Edinburgh LCF：a mechanised logic of computation

Saved in:
Bibliographic Details
Main Authors: Gordon Michael J. C., 1948-
Group Author: Milner R. (joint author.); (Robin) 1934- (joint author.); Wadsworth Christopher P.
Published: Springer-Verlag,
Publisher Address: Berlin New York
Publication Dates: 1979.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 78
Subjects:
Edinburgh LCF (Computer system)
Computable functions > Data processing.
Carrier Form: viii, 159 p.: ; 24 cm.
ISBN: 0387097244
Index Number: TP303
CLC: TP303
Call Number: TP303/G664/
Contents: Includes index.
Bibliography: p. [153]-157.

Related Book Recommendations