A Path from Logic to Metaphysics – Per Martin-Löf, 1991 [pdf] (github.com) 2 points by AnthonBerg 5y ago ↗ HN
[–] AnthonBerg 5y ago ↗ 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!
1 comment
[ 6.0 ms ] story [ 11.8 ms ] threadThe typesetting is also especially lovely – this is what, a Garamond font?, weathered by the print / scan / compression loop. Lots of charm!