The following pages link to (Q5749278):
Displaying 6 items.
- The complexity types of computable sets (Q1190982) (← links)
- Constructive sets in computable sets (Q1372877) (← links)
- Towards a computation system based on set theory (Q1825191) (← links)
- Techniques of computable set theory with applications to proof verification (Q4884662) (← links)
- New Computational Paradigms (Q5717043) (← links)
- THE LOGIC OF COMPARATIVE CARDINALITY (Q5855745) (← links)