Primiero, Giuseppe.
Information and Knowledge A Constructive Type-theoretical Approach / [electronic resource] : by Giuseppe Primiero. - Dordrecht : Springer Netherlands, 2008. - digital. - Logic, Epistemology, and the Unity of Science ; 10 . - Logic, Epistemology, and the Unity of Science ; 10 .
9781402061707
10.1007/978-1-4020-6170-7 doi
Philosophy (General).
Genetic epistemology.
Logic.
Computer science.
Logic, Symbolic and mathematical.
Philosophy.
Logic.
Philosophy.
Epistemology.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
BC1-199
160
Information and Knowledge A Constructive Type-theoretical Approach / [electronic resource] : by Giuseppe Primiero. - Dordrecht : Springer Netherlands, 2008. - digital. - Logic, Epistemology, and the Unity of Science ; 10 . - Logic, Epistemology, and the Unity of Science ; 10 .
9781402061707
10.1007/978-1-4020-6170-7 doi
Philosophy (General).
Genetic epistemology.
Logic.
Computer science.
Logic, Symbolic and mathematical.
Philosophy.
Logic.
Philosophy.
Epistemology.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
BC1-199
160