Proof Style and Understanding in Mathematics I: Visualization, Unification and Axiom Choice
From MaRDI portal
Publication:5465102
DOI10.1007/1-4020-3335-4_8zbMath1159.00310MaRDI QIDQ5465102
Publication date: 22 August 2005
Published in: Synthese Library (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/1-4020-3335-4_8
Related Items