Tell your friends about this item:
Edinburgh LCF: A Mechanized Logic of Computation - Lecture Notes in Computer Science M. Gordon 1979 edition
Edinburgh LCF: A Mechanized Logic of Computation - Lecture Notes in Computer Science
M. Gordon
161 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | December 1, 1979 |
| ISBN13 | 9783540097242 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 161 |
| Dimensions | 155 × 235 × 9 mm · 249 g |
| Language | English |
Christmas presents can be returned until 31 January