TY  - BOOK
AU  - Gordon,Michael J.C.
AU  - Milner,R.
AU  - Wadsworth,Christopher P.
TI  - Edinburgh LCF: a mechanised logic of computation 
SN  - 0387097244
AV  - QA9.59 .G67
U1  - 510/.8 s001.6/4 
PY  - 1979///
CY  - Berlin, New York
PB  - Springer-Verlag
KW  - Edinburgh LCF (Computer system)
KW  - Computable functions
KW  - Data processing
KW  - საინფორმაციო ტექნოლოგიები
KW  - კომპიუტერული ტექნოლოგიები
KW  - კომპიუტერული სისტემების პროგრამული უზრუნველყოფა
KW  - პროგრამირების ენები
N1  - Includes index; Bibliography: p. [153]-157
ER  -