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

This is such a beautiful work, and not without practical implications.

The typesetting is also especially lovely – this is what, a Garamond font?, weathered by the print / scan / compression loop. Lots of charm!