Edinburgh LCF : a mechanised logic of computation.
Saved in:
Personal Name(s): | Gordon, M. J. |
---|---|
Milner, A. J. / Wadsworth, C. P. | |
Imprint: |
Berlin :
Springer,
1979.
|
Physical Description: |
VIII, 159 S. |
Note: |
englisch |
ISBN: |
9783540097242 0387097244 9780387097244 3540097244 |
Series Title: |
Lecture notes in computer science ;
78. |
Classification: |
ZB | |
---|---|
Open Stacks ![]() ![]() |