págs. 1-3
págs. 4-32
págs. 33-59
págs. 60-75
Shadowy vision: spanners in the mechanization of mathematics
Dorothy Stein, Jay Belanger
págs. 76-93
págs. 94-97
págs. 97-98
págs. 98-99
Review: History of Mathematics
F. William Lawvere
págs. 99-106
págs. 107-125
pág. 126
pág. 127
© 2001-2024 Fundación Dialnet · Todos los derechos reservados