Conte aos seus amigos sobre este 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
| Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 4 de dezembro de 2007 |
| ISBN13 | 9781402061691 |
| Editoras | Springer-Verlag New York Inc. |
| Páginas | 208 |
| Dimensões | 155 × 235 × 14 mm · 485 g |
| Idioma | Inglês |