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

Project: Award Project

Filter
Article

Search results