Information and Knowledge: A Constructive Type-theoretical Approach Book Discussion
Information and Knowledge: A Constructive Type-theoretical Approach (Logic, Epistemology, and the Unity of Science Book 10)
by
Information and Knowledge: A Constructive Type-theoretical Approach (Logic, Epistemology, and the Unity of Science Book 10)