Edinburgh Research Explorer

The Computer Modelling of Mathematical Reasoning

Research output: Book/ReportBook

Standard

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

Academic Press, 1983. 336 p.

Research output: Book/ReportBook

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/ReportBook