Pages that link to "Item:Q1840347"
From MaRDI portal
The following pages link to Zum Eliminationsproblem der mathematischen Logik (Q1840347):
Displaying 4 items.
- Symbol elimination and applications to parametric entailment problems (Q831921) (← links)
- Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications (Q3455775) (← links)
- Bases for first-order theories and subtheories (Q3843604) (← links)
- A NOTE ON CHOICE PRINCIPLES IN SECOND-ORDER LOGIC (Q6041339) (← links)