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:
Sociology.
Logic.
Philosophy.
Knowledge, Theory of.
Machine theory.
Mathematical logic.
Epistemology.
Formal Languages and Automata Theory.
Mathematical Logic and Foundations.
Acceso en línea:Texto Completo

Internet

Texto Completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares