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
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