Information and Knowledge: A Constructive Type-Theoretical Approach
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...
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. It presents a newly formulated and conceptually developed presentation of the Problem of Analyticity, and a new interesting perspective on the constructive interpretation of knowledge processes.
- Autor: Giuseppe Primiero
- 2007, 208 Seiten, Maße: 16,7 x 24,4 cm, Gebunden, Englisch
- Verlag: Springer Netherland
- ISBN-10: 1402061692
- ISBN-13: 9781402061691
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Information and Knowledge: A Constructive Type-Theoretical Approach".
Kommentar verfassen