The following pages link to (Q4793039):
Displayed 5 items.
- Predicativity, the Russell-Myhill paradox, and Church's intensional logic (Q300834) (← links)
- Truth and the philosophy of mathematics (Q2080591) (← links)
- Operation and Predicativity: Lorenzen’s Approach to Arithmetic (Q5024722) (← links)
- Predicativity and Feferman (Q5214793) (← links)
- THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC (Q5274882) (← links)