The following pages link to The formalization of mathematics (Q5829015):
Displayed 8 items.
- Finitely stratified polymorphism (Q1175334) (← links)
- In Memoriam: Hao Wang 1921–1995 (Q4879896) (← 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)
- La prédicativité (Q5339291) (← links)
- (Q5572328) (← links)
- POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND (Q6204145) (← links)