How to calculate proofs: bridging the cultural divide

• Autores: Raymond T. Boute
• Localización: Notices of the American Mathematical Society, ISSN 0002-9920, Vol. 60, Nº. 2, 2013, págs. 173-191
• Idioma: inglés
• Texto completo no disponible (Saber más ...)