The computer modelling of mathematical reasoning
By: Alan Bundy.
Publisher: Academic Press
Published: 1983
Place of publication: London; New York
Number of pages: 322
Subjects: Mathematics -- Data processing; Logic, Symbolic and mathematical; Automatic theorem proving
Notes: Bibliography : p. 312 - 317.

Includes index.