100%(1)100% нашли этот документ полезным (1 голос)
201 просмотров7 страниц
Per Martin-Löf, Analytic and Synthetic Judgements in Type Theory. from
Kant and Contemporary Epistemology
The University of Western Ontario Series in Philosophy of Science Volume 54, 1994, pp 87-99
Per Martin-Löf, Analytic and Synthetic Judgements in Type Theory. from
Kant and Contemporary Epistemology
The University of Western Ontario Series in Philosophy of Science Volume 54, 1994, pp 87-99
Авторское право:
Attribution Non-Commercial (BY-NC)
Доступные форматы
Скачайте в формате PDF, TXT или читайте онлайн в Scribd
Per Martin-Löf, Analytic and Synthetic Judgements in Type Theory. from
Kant and Contemporary Epistemology
The University of Western Ontario Series in Philosophy of Science Volume 54, 1994, pp 87-99
Авторское право:
Attribution Non-Commercial (BY-NC)
Доступные форматы
Скачайте в формате PDF, TXT или читайте онлайн в Scribd