Information and Knowledge A Constructive Type-theoretical Approach / [electronic resource] :
by Giuseppe Primiero.
- Dordrecht : Springer Science + Business Media B.V, 2008.
- 210 p. : ill., digital ; 24 cm.
- Logic, Epistemology, and the Unity of Science ; 10 .