Edinburgh LCF: A Mechanized Logic of Computation
1111333221
Edinburgh LCF: A Mechanized Logic of Computation
22.99
In Stock
5
1
Edinburgh LCF: A Mechanized Logic of Computation
161
Edinburgh LCF: A Mechanized Logic of Computation
161Paperback(1979)
$22.99
22.99
In Stock
Product Details
| ISBN-13: | 9783540097242 |
|---|---|
| Publisher: | Springer Berlin Heidelberg |
| Publication date: | 01/16/1980 |
| Series: | Lecture Notes in Computer Science , #78 |
| Edition description: | 1979 |
| Pages: | 161 |
| Product dimensions: | 6.10(w) x 9.25(h) x 0.01(d) |
From the B&N Reads Blog