(1)
Balstrøm, T. Alan Bundy: The Computer Modelling of Mathematical Reasoning. gt 1986, 86.