Pages that link to "Item:Q636312"

The following pages link to The double negation of the intermediate value theorem (Q636312):

Displaying 2 items.

• The creating subject, the Brouwer-Kripke schema, and infinite proofs (Q1788337) (← links)
• On the constructive notion of closure maps (Q2910990) (← links)