From logic to practice

2015

herausgegeben vonGabriele Lolli Marco Panza(Centre national de la recherche scientifique)Giorgio Venturi

Dordrecht, Springer

Synthese 186/1

Diagrams in mathematics

2012

Synthese 134/1-2

Logic and mathematical reasoning

2003