Hacker News Reader

I also linked the PDF directly from my blog article, at https://pic.blog.plover.com/math/logic/lk/Gentzen1934.pdf , partly because I found the Digizeitschriften page annoying.

View on HN

Indeed, though that's to the entire volume - I was trying to link directly to the individual Gentzen papers (though by the fairly slow download maybe they are being created dynamically).

Thanks for the interesting blog piece though - maybe you could write one about Gentzen's consistency proof?

Reply on news.ycombinator.com