5 ideas
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
299 | What is fine is always difficult [Plato] |
297 | What is fine is the parent of goodness [Plato] |
6017 | Nomos is king [Pindar] |
298 | While sex is very pleasant, it should be in secret, as it looks contemptible [Plato] |