Logic on trial

DOI10.1007/S40329-016-0146-0zbMath1435.03020OpenAlexW2554327897MaRDI 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

truthmathematical logicproof

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: Logic on trial