Pages that link to "Item:Q5305552"
From MaRDI portal
The following pages link to Strong Logics of First and Second Order (Q5305552):
Displaying 8 items.
- Transfinite recursion and computation in the iterative conception of set (Q510712) (← links)
- Pure second-order logic with second-order identity (Q989416) (← links)
- Strong normalization property for second order linear logic (Q1044837) (← links)
- The strong version of a sentential logic (Q1680515) (← links)
- Second-order logic and the power set (Q1702982) (← links)
- (Q3367332) (← links)
- Feferman on Set Theory: Infinity up on Trial (Q5214797) (← links)
- STRONGLY MILLIAN SECOND-ORDER MODAL LOGICS (Q5357324) (← links)