The following pages link to (Q5579477):
Displaying 7 items.
- Choice inclusive general rough semantics (Q632709) (← links)
- Choices in representation and reduction strategies for lambda terms in intensional contexts (Q861365) (← links)
- Three ways of recognizing inessential formulas in sequents (Q1167722) (← links)
- A herbrandized functional interpretation of classical first-order logic (Q2402958) (← links)
- Quantifiers in logic and proof-search using permissive-nominal terms and sets (Q3195622) (← links)
- On Skolemization in constructive theories (Q3617374) (← links)
- Strategies of the search for derivation of statements with restricted quantifiers (Q3675553) (← links)