4 ms·
When I click that link in firefox it starts opening like 20-tabs a second. Chrome works.
by laxd 7y ago
When I click that link in firefox it starts opening like 20-tabs a second. Chrome works.
- user2994cb 7y agoSorry about that, works OK for me (FF 72.0.2/Ubuntu 19.10).
- mjd 7y agoI also linked the PDF directly from my blog article, at https://pic.blog.plover.com/math/logic/lk/Gentzen1934.pdf https://pic.blog.plover.com/math/logic/lk/Gentzen1934.pdf , partly because I found the Digizeitschriften page annoying.
- user2994cb 7y agoIndeed, 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?