Tell your friends about this item:
Information and Knowledge: A Constructive Type-theoretical Approach - Logic, Epistemology, and the Unity of Science Giuseppe Primiero Softcover reprint of hardcover 1st ed. 2008 edition
Information and Knowledge: A Constructive Type-theoretical Approach - Logic, Epistemology, and the Unity of Science
Giuseppe Primiero
This book develops a philosophical and logical interpretation of the concept of information within the formal structure of Constructive Type Theory (CTT), in a manner concurrent with a diverse range of contemporary perspectives on the philosophy of information.
217 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | November 17, 2010 |
| ISBN13 | 9789048175567 |
| Publishers | Springer |
| Pages | 208 |
| Dimensions | 155 × 235 × 11 mm · 312 g |
| Language | English |
More by Giuseppe Primiero
Show allMere med samme udgiver
See all of Giuseppe Primiero ( e.g. Paperback Book and Hardcover Book )