Information and Knowledge: A Constructive Type-theoretical Approach (Logic, Epistemology, and the Unity of Science).rarHigh Speed Download
File size : 2 MB