The following pages link to Sören Stenlund (Q375339):
Displaying 10 items.
- Different senses of finitude: an inquiry into Hilbert's finitism (Q375340) (← links)
- Combinators, \(\lambda\)-terms and proof theory (Q2556396) (← links)
- Hilbert and the Problem of Clarifying the Infinite (Q3613316) (← links)
- (Q4067060) (← links)
- (Q4074884) (← links)
- (Q4083397) (← links)
- Analytic and Synthetic Arithmetical Statements (Q4769037) (← links)
- (Q4835586) (← links)
- (Q4883900) (← links)
- The “Middle Wittgenstein” and Modern Mathematics (Q5253926) (← links)
