TY  - RPRT
TI  - On the construction of fully interpreted formal languages which posses their truth predicates
AU  - Seppo Heikkilä
PY  - 2015
DO  - 10.13140/rg.2.1.1439.9443
UR  - https://arxiv.org/abs/1511.02782
ID  - 1511.02782
ER  -