"Treatise on Intuitionistic Type Theory (LOGIC, EPISTEMOLOGY, AND THE UNITY OF SCIENCE 22)" - читать интересную книгу автора (Johan Georg Granstrom)