Computers: (ac)counting for mathematical proofs, in: Aspers et al (1996)

by A M Cohen