Edinburgh LCF: A mechanised logic of computation (Lecture notes in computer science)
Full Title: | Edinburgh LCF: A mechanised logic of computation (Lecture notes in computer science) |
---|---|
ISBN: | 0387097244 |
ISBN13: | 9780387097244 |
List Price: | USD $34.99 |
Authors: |
Gordon, Michael J. C |
Related ISBNs