Pages that link to "Item:Q3617374"
From MaRDI portal
The following pages link to On Skolemization in constructive theories (Q3617374):
Displaying 5 items.
- The eskolemization of universal quantifiers (Q638487) (← links)
- Proof analysis in intermediate logics (Q661286) (← links)
- Skolemization and Herbrand theorems for lattice-valued logics (Q1733060) (← links)
- The Skolemization of prenex formulas in intermediate logics (Q1740611) (← links)
- Automating Theories in Intuitionistic Logic (Q3655199) (← links)
