Cargando…

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 information. On the basis of this conceptual framew...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Primiero, Giuseppe (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Dordrecht : Springer Netherlands : Imprint: Springer, 2008.
Edición:1st ed. 2008.
Colección:Logic, Epistemology, and the Unity of Science, 10
Temas:
Acceso en línea:Texto Completo

Ejemplares similares