3 ideas
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
21982 | I only wish I had such eyes as to see Nobody! It's as much as I can do to see real people. [Carroll,L] |
5126 | A carelessly thrown brick is condemned much more if it hits someone [Smith,A, by Harman] |