Pages that link to "Item:Q4531092"
From MaRDI portal
The following pages link to An Intuitionistic Axiomatisation of Real Closed Fields (Q4531092):
Displaying 5 items.
- Negation-free and contradiction-free proof of the Steiner-Lehmus theorem (Q1704083) (← links)
- On the proof theory of infinitary modal logic (Q2106873) (← links)
- Constructive completions of ordered sets, groups and fields (Q2488274) (← links)
- GEOMETRISATION OF FIRST-ORDER LOGIC (Q2795295) (← links)
- A FORMALIZATION OF KANT’S TRANSCENDENTAL LOGIC (Q3094188) (← links)
