Granström, Johan Georg.
Treatise on Intuitionistic Type Theory [electronic resource] / by Johan Georg Granström, Johan Georg Granström. - Dordrecht : Springer Netherlands, 2011. - digital. - Logic, Epistemology, and the Unity of Science ; 22 . - Logic, Epistemology, and the Unity of Science ; 22 .
9789400717367
10.1007/978-94-007-1736-7 doi
Philosophy (General).
Genetic epistemology.
Logic.
Logic design.
Algorithms.
Logic, Symbolic and mathematical.
Philosophy.
Epistemology.
Mathematical Logic and Foundations.
Logics and Meanings of Programs.
Logic.
History of Philosophy.
Algorithms.
BD143-237
120
Treatise on Intuitionistic Type Theory [electronic resource] / by Johan Georg Granström, Johan Georg Granström. - Dordrecht : Springer Netherlands, 2011. - digital. - Logic, Epistemology, and the Unity of Science ; 22 . - Logic, Epistemology, and the Unity of Science ; 22 .
9789400717367
10.1007/978-94-007-1736-7 doi
Philosophy (General).
Genetic epistemology.
Logic.
Logic design.
Algorithms.
Logic, Symbolic and mathematical.
Philosophy.
Epistemology.
Mathematical Logic and Foundations.
Logics and Meanings of Programs.
Logic.
History of Philosophy.
Algorithms.
BD143-237
120