DOI10.1007/s40329-016-0146-0zbMath1435.03020MaRDI QIDQ2304740
Stefano Leonesi, Carlo Toffalori
Publication date: 13 March 2020 Published in: Lettera Matematica. International Edition (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/s40329-016-0146-0
zbMATH Keywords
truth; mathematical logic; proof
Mathematics Subject Classification ID
00A30: Philosophy of mathematics
03A05: Philosophical and critical aspects of logic and foundations
Cites Work