Pages that link to "Item:Q4953233"
From MaRDI portal
The following pages link to Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17–19, 1946), By Alfred Tarski (Q4953233):
Displayed 5 items.
- Tarski's theory of definability: Common themes in descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic (Q598270) (← links)
- What languages have Tarski truth definitions? (Q598271) (← links)
- Undecidable iterative propositional calculus (Q2364331) (← links)
- The undecidability of propositional adaptive logic (Q2460176) (← links)
- Two Unpublished Contributions by Alfred Tarski (Q5308995) (← links)