Edinburgh LCF - a mechanised logic of computation
- Författare
- Michael J. C. Gordon
- (Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Vlg | 1979 | Tyskland, Berlin, New York | 159 sidor. |