Login
From:
plato.stanford.edu
(Uncensored)
subscribe
Independence Friendly Logic > Existential second-order logic (a.k.a. \(\Sigma^{1}_1\) logic) (Stanford Encyclopedia of Philosophy)
https://plato.stanford.edu/entries/logic-if/supplement.html
links
backlinks
Existential second-order logic (a.k.a. \(\Sigma^{1}_1\) logic)
Roast topics
Find topics
Find it!
