Book 2008

Deduction, Computation, Experiment

Exploring the Effectiveness of Proof

Editors:

ISBN: 978-88-470-0783-3 (Print) 978-88-470-0784-0 (Online)