Pages that link to "Item:Q5833219"
From MaRDI portal
The following pages link to Recursive Functions and Intuitionistic Number Theory (Q5833219):
Displaying 6 items.
- A proof description language and its reduction system (Q1055769) (← links)
- Intuitionism and effective descriptive set theory (Q1688967) (← links)
- A classical view of the intuitionistic continuum (Q1923572) (← links)
- A survey of predicate realizability logic (Q2510768) (← links)
- Propositional Calculus and Realizability (Q5822056) (← links)
- Analyzing realizability by Troelstra's methods (Q5957857) (← links)