Pages that link to "Item:Q3791109"
From MaRDI portal
The following pages link to Alfred Tarski and decidable theories (Q3791109):
Displaying 6 items.
- (Q3384907) (← links)
- Alfred Tarski's elimination theory for real closed fields (Q3795644) (← links)
- Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17–19, 1946), By Alfred Tarski (Q4953233) (← links)
- Tarski's influence on computer science (Q5310665) (← links)
- Invariants, Boolean algebras and ACA₀⁺ (Q5713163) (← links)
- Synthetic undecidability and incompleteness of first-order axiom systems in Coq. Extended version (Q6156642) (← links)