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

Projeto: Award Project

Filtro
Article

Resultados da pesquisa