Pages that link to "Item:Q1971796"

The following pages link to Things that can and things that cannot be done in PRA (Q1971796):

Displayed 2 items.

• Some intuitionistic equivalents of classical principles for degree 2 formulas (Q2368911) ‎ (← links)
• Transfer and a supremum principle for ERNA (Q3503762) ‎ (← links)