Pages that link to "Item:Q3795645"
From MaRDI portal
The following pages link to Alfred Tarski's work on general metamathematics (Q3795645):
Displaying 10 items.
- Foundations for the formalization of metamathematics and axiomatizations of consequence theories (Q598315) (← links)
- Algebraic logic for classical conjunction and disjunction (Q1189892) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- Unifying threads in Alfred Tarski's work (Q1286341) (← links)
- In memory of Willem Johannes Blok 1947-2003 (Q2433091) (← links)
- Philosophical implications of Tarski's work (Q3815278) (← links)
- A Mathematical Life (Q4586411) (← links)
- Possible classification of finite-dimensional compact Hausdorff topological algebras (Q4586424) (← links)
- Some Current Problems in Metamathematics<sup>1</sup> (Q4870002) (← links)
- Alfred Tarski: Semantic shift, heuristic shift in metamathematics (Q5931294) (← links)