| Edinburgh Lcf: A Mechanized Logic of Computation 1979 Edition Contributor(s): Gordon, M. (Author), Milner, R. (Author), Wadsworth, C. P. (Author) |
|
 |
ISBN: 3540097244 ISBN-13: 9783540097242 Publisher: Springer OUR PRICE: $21.84 Product Type: Paperback Published: December 1979 |
| Additional Information |
| BISAC Categories: - Computers | Computer Science |
| Dewey: 004 |
| LCCN: 79024745 |
| Series: Lecture Notes in Computer Science |
| Physical Information: 0.37" H x 6.14" W x 9.21" (0.55 lbs) 161 pages |