Visualization in logic and mathematics (2005)

by P Mancosu
Venue:Visualization, Explanation and Reasoning Styles in Mathematics, volume 327 of Synthese Library