A Path from Logic to Metaphysics – Per Martin-Löf, 1991 [pdf]github.com/michaelt2 pointsAnthonBerg5 years ago