Pages that link to "Item:Q1102263"
From MaRDI portal
The following pages link to Variations on a thesis: intuitionism and computability (Q1102263):
Displaying 6 items.
- Basic subtoposes of the effective topos (Q387125) (← links)
- Structures and logics: a case for (a) relativism (Q488378) (← links)
- Realizability with a local operator of A. M. Pitts (Q2253188) (← links)
- The Herbrand topos (Q5891131) (← links)
- Erratum to ``Spacelike hypersurfaces of constant higher order mean curvature in generalized Robertson-Walker spacetimes''. (Q5891132) (← links)
- An analysis of Tennenbaum's theorem in constructive type theory (Q6563042) (← links)