Information and Knowledge A Constructive Type-theoretical Approach
by Giuseppe Primiero
Available
Ships From London
Free Shipping within U.K
International Shipping?
Check Delivery Estimate and
Delivery Charges
for your country
| Publisher: | Springer |
| Published In: | 04-Dec-2007 |
| ISBN-10: | 1402061692 |
| ISBN-13: | 9781402061691 |
| Binding Type: | Hardback |
| Weight: | 491 gms |
| Pages: | pp. 220, 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss L |
The Title "Information and Knowledge A Constructive Type-theoretical Approach" is written by Giuseppe Primiero. This book was published in the year 2007. The ISBN number 1402061692|9781402061691 is assigned to the Hardback version of this title. This book has total of pp. x + 210 (Pages). The publisher of this title is Springer. We have about 138114 other great books from this publisher. Information and Knowledge A Constructive Type-theoretical Approach is currently Available with us.