Information and Knowledge
Primiero, Giuseppe.
Information and Knowledge A Constructive Type-theoretical Approach / [electronic resource] : by Giuseppe Primiero. - Dordrecht : Springer Netherlands, 2008. - v.: digital - Logic, Epistemology, and the Unity of Science ; 10 .
9781402061707
Philosophy (General)
Genetic epistemology
Logic
Computer science
Logic, Symbolic and mathematical
Philosophy
Logic
Philosophy
Epistemology
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
BD161 / P75 2008
Information and Knowledge A Constructive Type-theoretical Approach / [electronic resource] : by Giuseppe Primiero. - Dordrecht : Springer Netherlands, 2008. - v.: digital - Logic, Epistemology, and the Unity of Science ; 10 .
9781402061707
Philosophy (General)
Genetic epistemology
Logic
Computer science
Logic, Symbolic and mathematical
Philosophy
Logic
Philosophy
Epistemology
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
BD161 / P75 2008