The logical structure of computer-aided mathematical reasoning

• Autores: Keith Devlin
• Localización: American mathematical monthly, ISSN 0002-9890, Vol. 104, Nº 7, 1997, págs. 632-646
• Idioma: inglés
• DOI: 10.1080/00029890.1997.11990692
• Texto completo no disponible (Saber más ...)