Edinburgh LCF : a mechanised logic of computation / Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth.
Material type: TextLanguage: English Series: Lecture notes in computer science ; 78Publication details: Berlin ; New York : Springer-Verlag, 1979.Description: viii, 159 p. ; 24 cmISBN:- 0387097244
- 510/.8 s 001.6/4
- QA9.59 .G67
Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
წიგნი | ეროვნული სამეცნიერო ბიბლიოთეკა 1 საცავი. 1 კორპ. | 004.43 (Browse shelf(Opens below)) | 2E32451 | შესამოწმებელია | 2021-3581228 |
Includes index.
Bibliography: p. [153]-157.
There are no comments on this title.
Log in to your account to post a comment.