ISBN 052183449X books & textbook
Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science, Series Number 56)
Bundy, Alan Basin, David Hutter, Dieter Ireland, Andrew
Cambridge University Press /2005-08-08 Hardcover / 216 Pages
isbn-10: 052183449X / isbn-13: 9780521834490
