You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

VincentYu comments on LessWrong help desk - free paper downloads and more - Less Wrong Discussion

36 Post author: jsalvatier 07 October 2012 11:45PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (734)

You are viewing a single comment's thread. Show more comments above.

Comment author: pangel 18 September 2013 12:19:17PM 0 points [-]

Gentzen’s Cut Elimination Theorem for Non-Logicians

Knowledge and Value, Tulane Studies in Philosophy Volume 21, 1972, pp 115-126

Comment author: VincentYu 21 September 2013 02:22:53AM 2 points [-]
Comment author: pangel 21 September 2013 11:11:30AM 0 points [-]

Thank you!