The following pages link to Charles McCarty (Q595650):
Displaying 5 items.
- Subcountability under realizability (Q1098849) (← links)
- Variations on a thesis: intuitionism and computability (Q1102263) (← links)
- Paradox and potential infinity (Q1947035) (← links)
- Satisfiability is false intuitionistically: a question from Dana Scott (Q2193975) (← links)
- Structuralism and Isomorphism (Q2965616) (← links)
