![](/img/cover-not-exists.png)
Trial and error mathematics: Dialectical systems and completions of theories
Amidei, Jacopo, Andrews, Uri, Pianigiani, Duccio, San Mauro, Luca, Sorbi, AndreaVolume:
29
Language:
english
Journal:
Journal of Logic and Computation
DOI:
10.1093/logcom/exy033
Date:
January, 2019
File:
PDF, 563 KB
english, 2019