scientific article; zbMATH DE number 1117975
From MaRDI portal
Publication:4376878
zbMath0891.00005MaRDI QIDQ4376878
No author found.
Publication date: 12 February 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Experimental Approaches to Theoretical Thinking: Artefacts and Proofs ⋮ How to think about informal proofs ⋮ Objects and processes in mathematical practice ⋮ Logic of imagination. Echoes of Cartesian epistemology in contemporary philosophy of mathematics and beyond ⋮ The surveyability of long proofs
This page was built for publication: