TY  - RPRT
TI  - Notes on bounded induction for the compositional truth predicate
AU  - Mateusz Łełyk
AU  - Bartosz Wcisło
PY  - 2017
DO  - 10.1017/s1755020316000368
UR  - https://arxiv.org/abs/1712.00470
ID  - 1712.00470
ER  -