Towards transfinite type theory: rereading Tarski's \textit{Wahrheitsbegriff} (Q2515772)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6471084
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Towards transfinite type theory: rereading Tarski's \textit{Wahrheitsbegriff} |
scientific article; zbMATH DE number 6471084 |
Statements
Towards transfinite type theory: rereading Tarski's \textit{Wahrheitsbegriff} (English)
0 references
6 August 2015
0 references
Tarski
0 references
truth
0 references
type theory
0 references
universalism
0 references
0.7905715107917786
0 references
0.7364712953567505
0 references
0.7308932542800903
0 references
0.729607343673706
0 references
