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

Proyecto: Award Project

Resultados de la búsqueda