Propositions Functions & Analysis C by Peter Hylton