The following pages link to (Q3744159):
Displaying 5 items.
- A functional interpretation for nonstandard arithmetic (Q714729) (← links)
- Constructive formalization of the Tennenbaum theorem and its applications (Q803126) (← links)
- Proofs and programs: A naïve approach to program extraction (Q912594) (← links)
- To be or not to be constructive, that is not the question (Q1688964) (← links)
- A complete theory of natural, rational, and real numbers (Q5802106) (← links)