The computer modelling of mathematical reasoning

by Alan Bundy · 1 review · 1987

Metaphysics & Logic

Also by Bundy

• Govan Mbeki (1 review)
• L'automazione del Ragionamento Matematico (1 review)
• Rippling: Meta-Level Guidance for Mathematical Reasoning (1 review)
• Wilson Harris: The New Age in the Mythic Past (1 review)

Search PhilReviews for this title