Pages that link to "Item:Q1306822"

The following pages link to Note on extensions of Heyting's arithmetic by adding the ``creative subject'' (Q1306822):

Displaying 1 item.

• The creating subject, the Brouwer-Kripke schema, and infinite proofs (Q1788337) (← links)