Information and Knowledge A Constructive Type-theoretical Approach - Primiero, Giuseppe; SpringerLink (Online service) (Dordrecht : Springer Science + Business Media B.V, 2008)
Keywords: Computer science; Genetic epistemology; Logic, Symbolic and mathematical