= 27d567bc2d48d9f40e9ccc20ea370b15)
somervta comments on LessWrong help desk - free paper downloads and more - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (734)
Gentzen’s Cut Elimination Theorem for Non-Logicians
Knowledge and Value, Tulane Studies in Philosophy Volume 21, 1972, pp 115-126
http://philpapers.org/rec/MILGCE
The PDC appears to be offline, and although wayback machine has the Tulane page here, it doesn't seem like it has the pdf linked to by philpapers. Hopefully someone else can work with this.