The following pages link to Logicism and Second-Order Logic (Q5137234):
Displaying 6 items.
- Second-order logic of paradox (Q1633895) (← links)
- Existential Fixed-Point Logic as a Fragment of Second-Order Logic (Q2947165) (← links)
- (Q2996331) (← links)
- A critical appraisal of second-order logic (Q3141185) (← links)
- (Q3709841) (← links)
- Rudimentary Languages and Second‐Order Logic (Q4351932) (← links)