Yazar
Gonzalez, Wenceslao J. editor.
Format:
Electronic Resources
Alıntı:
Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;
View Other Search Results
Yazar
Galavotti, Maria Carla. editor.
Format:
Electronic Resources
Alıntı:
-- Chapter 2: The Proof Is in the Process. A Preamble for a Philosophy of Computer-assisted Mathematics
View Other Search Results