Pages that link to "Item:Q2869435"
From MaRDI portal
The following pages link to First-order theories and Tarski problems (Q2869435):
Displaying 7 items.
- Detection of First Order Axiomatic Theories (Q2849492) (← links)
- (Q3377767) (← links)
- Alfred Tarski and decidable theories (Q3791109) (← links)
- Bases for first-order theories and subtheories (Q3843604) (← links)
- (Q4636561) (← links)
- On translations of complete first order theories (Q4798207) (← links)
- First-order and counting theories of<i>ω</i>-automatic structures (Q5387304) (← links)