Per Martin-Löf

The definition of random sequences

Per Martin-Löf · Information and Control · 1966 · 1.2K citations

Engineering, Random Walks, Discrete Probability +4

Constructive mathematics and computer programming

Per Martin-Löf · Philosophical Transactions of the Royal Society of London Series A Mathematical and Physical Sciences · 1984 · 501 citations

On the meanings of the logical constants and the justifications of the logical laws

Per Martin-Löf · Nordic Journal of Philosophical Logic · 1996 · 259 citations

Philosophy Of Language, Automated Reasoning, Classical Logic +9

Cambridge, Mass., 1967.[Kle52a] SC Kleene. Introduction to Metamathematics. North-Holland, Amsterdam, 1952.[Kle52b] SC Kleene. Permutability of inferences in Gentzen's calculi LK and LJ. Memoirs of the AMS, 10, 1952.[KW84] J. Ketonen and R. Weyhrauch. A decidable fragment of predicate calculus. The Journal

Per Martin-Löf, G. E. Mints · 1991 · 62 citations

Formal Logic, Non-monotonic Logic, Engineering +13

The Literature on von Mises' Kollektivs Revisited

Per Martin-Löf · Theoria · 1969 · 44 citations

Von Mises, Literary Theory, Literary History +5