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 b

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?