display all the ideas for this combination of texts
2 ideas
9141 | Abstraction theories build mathematics out of second-order equivalence principles [Cook/Ebert] |
13898 | If we can establish directions from lines and parallelism, we were already committed to directions [Wright,C] |