The following pages link to (Q3230359):
Displaying 4 items.
- Gentzen reduction revisited (Q1140640) (← links)
- The Ω-consistency of ramified analysis (Q3292576) (← links)
- Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session (Q5250212) (← links)
- Logische Kategorien (Q5632565) (← links)