The following pages link to (Q3437622):
Displaying 4 items.
- Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness (Q2238150) (← links)
- Translating between implicit and explicit versions of proof (Q2405254) (← links)
- Meaning approached via proofs (Q2500819) (← links)
- Hybrid functional interpretations of linear and intuitionistic logic (Q2882562) (← links)