Treatise on Intuitionistic Type Theory - Johan Georg Granström, Johan Georg Granström ((Logic, Epistemology, and the Unity of Science))