Pages that link to "Item:Q1153079"

The following pages link to Intuitionistic uniformity principles for propositions and some applications (Q1153079):

Displaying 2 items.

• On constructive functions ranging over propositions (Q1153081) (← links)
• The creating subject, the Brouwer-Kripke schema, and infinite proofs (Q1788337) (← links)