The following pages link to (Q5625130):
Displaying 5 items.
- Some applications of computable one-one numberings (Q750430) (← links)
- Proof-theoretical analysis: Weak systems of functions and classes (Q911585) (← links)
- Descriptive characterizations of computational complexity (Q1123616) (← links)
- Effective applicative structures (Q5057467) (← links)
- Construction of models for algebraically generalized recursive function theory (Q5622173) (← links)