display all the ideas for this combination of texts
3 ideas
19369 | Lull's combinatorial art would articulate all the basic concepts, then show how they combine [Lull, by Arthur,R] |
10830 | Second-order logic metatheory is set-theoretic, and second-order validity has set-theoretic problems [Boolos] |
14249 | Boolos reinterprets second-order logic as plural logic [Boolos, by Oliver/Smiley] |