Suchen und Finden
Service
Information and Knowledge - A Constructive Type-theoretical Approach
Giuseppe Primiero
Verlag Springer-Verlag, 2007
ISBN 9781402061707 , 208 Seiten
Format PDF
Kopierschutz Wasserzeichen
Geräte
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.
Service
Shop