TY  - RPRT
TI  - Trial and error mathematics: Dialectical systems and completions of theories
AU  - Jacopo Amidei
AU  - Uri Andrews
AU  - Duccio Pianigiani
AU  - Luca San Mauro
AU  - Andrea Sorbi
PY  - 2018
UR  - https://arxiv.org/abs/1810.07103
ID  - 1810.07103
ER  -