Pages that link to "Item:Q5801334"
From MaRDI portal
The following pages link to A system which can define its own truth (Q5801334):
Displayed 5 items.
- Dependence of variables construed as an atomic formula (Q636322) (← links)
- Bibliography of John Myhill (Q1192339) (← links)
- On the idea(l) of logical closure (Q1192341) (← links)
- Ungroundedness in Tarskian languages (Q2000676) (← links)
- Metamathematische Begriffe in Standardtheorien (Q5625147) (← links)