Pages that link to "Item:Q3755424"
From MaRDI portal
The following pages link to Alfred Tarski's work in model theory (Q3755424):
Displaying 9 items.
- Tarski on logical consequences (Q1924334) (← links)
- A.D. Taimanov and model theory in Kazakhstan (Q2306026) (← links)
- Set theory and the analyst (Q2419681) (← links)
- Methodological Practice and Complementary Concepts of Logical Consequence: Tarski's Model-Theoretic Consequence and Corcoran's Information-Theoretic Consequence (Q3618448) (← links)
- Alfred Tarski and decidable theories (Q3791109) (← links)
- (Q4362724) (← links)
- FORMALIZATION, PRIMITIVE CONCEPTS, AND PURITY (Q4918380) (← links)
- What is Tarski's <i>Common</i> Concept of Consequence? (Q5479567) (← links)
- 2000-2001 Winter Meeting of the Association for Symbolic Logic. The New York Hilton and Towers, New York, NY, December 28-29, 2000 (Q5890456) (← links)