Information and knowledge a constructive type-theoretical approach

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Primiero, Giuseppe (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Dordrecht Springer 2008
Ausgabe:	1. ed.
Schriftenreihe:	Logic, epistemology, and the unity of science 10
Schlagworte:	Computer science > Epistemology > Genetic epistemology > Logic > Logic, Symbolic and mathematical > Mathematical Logic and Formal Languages > Mathematical Logic and Foundations > Philosophy > Information > Erkenntnis > Konstruktive Mathematik > Lerntheorie
Online Zugang:	Inhaltsverzeichnis Cover Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!