Can I read Martin-Löf, Analytic and Synthetic Judgements in Type Theory on EtoBox?
Martin-Löf, Analytic and Synthetic Judgements in Type Theory by applicative is a document available to read on EtoBox.
What is Martin-Löf, Analytic and Synthetic Judgements in Type Theory about?
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
- Author
- applicative
- Language
- EN