generated at
2/17/2025, 10:26:24 PM
Church's thesis in constructive mathematics
Computable function
Disjunction and existence properties
Realizability
Church's thesis (constructive mathematics) - Wikipedia