Epistemology of Computer Proof from the Point of View of Type-Theoretical Approach to the Foundations of Mathematics

项目: Award Project

搜索结果