Index of /martin-lof/pdfs/

../
A-path-from-logic-to-metaphysics-1990-typescrip..> 23-May-2016 19:08      8M
A-path-from-logic-to-metaphysics-1991.pdf          23-May-2016 19:03    275K
About-Models-for-Intuitionistic-Type-Theories-a..> 23-May-2016 19:08      2M
Algorithms-and-randomness-1969.pdf                 23-May-2016 19:08    167K
An-Intuitionistic-Theory-of-Types-1972.pdf         23-May-2016 19:14      2M
An-Intuitionistic-Theory-of-Types-Predicative-P..> 23-May-2016 19:08      2M
Are-the-objects-of-propositional-attitudes-prop..> 23-May-2016 19:08      1M
Bibliopolis-Book-1984.pdf                          23-May-2016 19:08     22M
Bibliopolis-Book-retypeset-1984.pdf                23-May-2016 19:08    672K
Complexity-Oscillations-in-Infinite-Binary-Sequ..> 23-May-2016 19:08    218K
Constructive-mathematics-and-computer-programmi..> 23-May-2016 19:08     15M
Constructive-mathematics-and-computer-programmi..> 26-Sep-2016 10:57    652K
Definition-of-Random-Sequences-1966.pdf            23-May-2016 19:08    643K
Exact-tests-confidence-regions-and-estimates-19..> 23-May-2016 19:08    434K
Hauptsatz-for-the-intuitionistic-theory-of-iter..> 23-May-2016 19:08      2M
Hilbert-Brouwer-Controversy-Resolved-2008.pdf      23-May-2016 19:08    145K
ITT-1980.pdf                                       01-Oct-2016 23:29    672K
Infinite-terms-and-a-system-of-natural-deductio..> 23-May-2016 19:08    835K
Martin-Lof-Analytic-and-Synthetic-Judgements-in..> 23-May-2016 19:08    766K
Martin-Lof-Verificationism-Then-and-Now-2013.pdf   23-May-2016 19:08    286K
Mathematics-of-Infinity.pdf                        23-May-2016 19:08      5M
Meanings-of-the-Logical-Constants-1983.pdf         23-May-2016 19:08    337K
Note-to-Michael-Dummett-1976.pdf                   23-May-2016 19:08     22M
Notes-on-The-Domain-Interpretation-of-Type-Theo..> 23-May-2016 19:08    806K
One-hundred-years-of-Zermelo-s-axiom-of-choice-..> 23-May-2016 19:08    257K
Reply-to-Sverdrups-Polemical-Article-Tests-with..> 23-May-2016 19:08    671K
Substitution-calculus-1992.pdf                     23-May-2016 19:08      5M
Syntax-and-semantics-of-the-language-of-primiti..> 23-May-2016 19:08     11M
The-Notion-of-Redundancy-1974.pdf                  23-May-2016 19:08      2M
The-logic-of-judgements-1987.pdf                   23-May-2016 19:08      4M
Truth-and-Knowability-On-the-Principles-C-and-K..> 23-May-2016 19:08    721K
Truth-of-a-Proposition-Evidence-of-a-Judgment-1..> 23-May-2016 19:08    777K