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  Call Number: S 002219-0078'01' Barcode: 1080007202
Available
|
|