3 ideas
8754 | Logic is dependent on mathematics, not the other way round [Heyting, by Shapiro] |
9141 | Abstraction theories build mathematics out of second-order equivalence principles [Cook/Ebert] |
7825 | The politics of Leibniz was the reunification of Christianity [Stewart,M] |