Review: Alan Bundy, The Computer Modelling of Mathematical Reasoning [Book Review]
Journal of Symbolic Logic 52 (2):555-557 (1987)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Analytics
Added to PP
2013-11-03
Downloads
3 (#1,316,202)
6 months
1 (#455,463)
2013-11-03
Downloads
3 (#1,316,202)
6 months
1 (#455,463)
Historical graph of downloads