Pages that link to "Item:Q2320010"
From MaRDI portal
The following pages link to Absolute \(L\)-realizability and intuitionistic logic (Q2320010):
Displaying 4 items.
- General recursive realizability and intuitionistic logic (Q2246818) (← links)
- Generalized realizability for extensions of the language of arithmetic (Q2287392) (← links)
- A Generalized Realizability and Intuitionistic Logic (Q5886518) (← links)
- Basic predicate calculus is sound with respect to a modified version of strictly primitive recursive realizability (Q6194302) (← links)
