A Path from Logic to Metaphysics – Per Martin-Löf, 1991 [pdf] | Heykuki News