Função em FregeDocumentFunção em FregeAjouté par Manfrinne0 évaluation0% ont trouvé ce document utileEnregistrer Função em Frege pour plus tard
Coquand - Recursive Functions and Constructive MathematicsDocumentCoquand - Recursive Functions and Constructive MathematicsAjouté par Manfrinne0 évaluation0% ont trouvé ce document utileEnregistrer Coquand - Recursive Functions and Constructive Mathematics pour plus tard