Função em FregeДокументFunção em FregeДобавлено Manfrinne0 оценок0% нашли этот документ полезнымСохранить Função em Frege на потом
Coquand - Recursive Functions and Constructive MathematicsДокументCoquand - Recursive Functions and Constructive MathematicsДобавлено Manfrinne0 оценок0% нашли этот документ полезнымСохранить Coquand - Recursive Functions and Constructive Mathematics на потом