Information and Knowledge: A Constructive Type-theoretical Approach (Logic, Epistemology, and the Unity of Science, 10)
1.41 MiB
Download ready in 3s