Edinburgh Research Explorer

The Computer Modelling of Mathematical Reasoning

Research output: Book/Report › Book

Standard

The Computer Modelling of Mathematical Reasoning. / Bundy, Alan.

Academic Press, 1983. 336 p.

Research output: Book/Report › Book

Harvard

Bundy, A 1983, The Computer Modelling of Mathematical Reasoning. Academic Press.

APA

Bundy, A. (1983). The Computer Modelling of Mathematical Reasoning. Academic Press.

Vancouver

Bundy A. The Computer Modelling of Mathematical Reasoning. Academic Press, 1983. 336 p.

Author

Bundy, Alan / The Computer Modelling of Mathematical Reasoning.

Academic Press, 1983. 336 p.

Research output: Book/Report › Book