Information and Knowledge: A Constructive Type-Theoretical Approach
History and Philosophy of Logic · 2009
Giuseppe Primiero, Information and Knowledge: A Constructive Type-Theoretical Approach. Logic, Epistemology, and The Unity Of Science 10, Ghent University, Belgium, Springer, 2008. 210 pp. [euro]13...