CURRENTLY SOLD OUT

Automated Theory Formation in Pure Mathematics by Simon Colton (Paperback, 2012)