Pages that link to "Item:Q1234293"
From MaRDI portal
The following pages link to A very strong intuitionistic theory (Q1234293):
Displaying 4 items.
- The inconsistency of Bernini's very strong intuitionistic theory (Q754198) (← links)
- A note on my paper ''A very strong intuitionistic theory'' (Q754200) (← links)
- Intuitionistic theory of functionals of higher type (Q1825192) (← links)
- A STRONG MULTI-TYPED INTUITIONISTIC THEORY OF FUNCTIONALS (Q3450813) (← links)
