Visualization in logic and mathematics (2005)

by P Mancosu
Venue:13–30). Synthese Library