Martin-Löf, Per
Abstract Per Martin-Löf is one of the most prominent living logicians. The present profile aims to illustrate his main works in an accessible way, devoting particular attention to their philosophical significance. After a brief sketch of his intellectual biography, we…