Tell your friends about this item:
Information and Knowledge: A Constructive Type-theoretical Approach - Logic, Epistemology, and the Unity of Science Giuseppe Primiero 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 Hardcover Book (Book with hard spine and cover) |
| Released | December 4, 2007 |
| ISBN13 | 9781402061691 |
| Publishers | Springer-Verlag New York Inc. |
| Pages | 208 |
| Dimensions | 155 × 235 × 14 mm · 485 g |
| Language | English |