Pages that link to "Item:Q5931294"
From MaRDI portal
The following pages link to Alfred Tarski: Semantic shift, heuristic shift in metamathematics (Q5931294):
Displaying 10 items.
- The role of universal language in the early work of Carnap and Tarski (Q1708748) (← links)
- Searches for the origins of the epistemological concept of model in mathematics (Q2357601) (← links)
- Interplay of philosophy and mathematics in the classical theory of truth (Q2702732) (← links)
- On Tarski's foundations of the geometry of solids (Q2893282) (← links)
- Examining the Role of Logic in Teaching Proof (Q2915879) (← links)
- The Gödelian Inferences (Q3401359) (← links)
- Alfred Tarski's work on general metamathematics (Q3795645) (← links)
- Some Current Problems in Metamathematics<sup>1</sup> (Q4870002) (← links)
- Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17–19, 1946), By Alfred Tarski (Q4953233) (← links)
- Logic in the 1930s: type theory and model theory (Q5401630) (← links)