RIPPLING: META-LEVEL GUIDANCE FOR MATHEMATICAL REASONING By Alan Bundy & David
RIPPLING: META-LEVEL GUIDANCE FOR MATHEMATICAL REASONING (CAMBRIDGE TRACTS IN THEORETICAL COMPUTER SCIENCE) By Alan Bundy & David Basin & Dieter Hutter & Andrew Ireland - Hardcover *Excellent Condition*.