Pages that link to "Item:Q3843604"
From MaRDI portal
The following pages link to Bases for first-order theories and subtheories (Q3843604):
Displaying 6 items.
- Most general first order theorems are not recursively enumerable (Q672461) (← links)
- Elimination problems in logic: a brief history (Q1024114) (← links)
- The road to two theorems of logic (Q1024115) (← links)
- Bases for structures and theories II. (Q2228350) (← links)
- Inductive systematization: Definition and a critical survey (Q2558214) (← links)
- Deduktiv abgeschlossene Mengen ohne Basis (Q5813910) (← links)