display all the ideas for this combination of texts
2 ideas
19369 | Lull's combinatorial art would articulate all the basic concepts, then show how they combine [Lull, by Arthur,R] |
9820 | In classical logic, logical truths are valid formulas; in higher-order logics they are purely logical [Dummett] |