4.4 Proving

4.4.1 Help! Proving is difficult!
4.4.2 How can I do a Proof by Induction?
4.4.3 What do the labels on the proof tree mean?

Work sponsored by the

Deploy Project and

ADVANCE Project |

Handbook as PDF |

Creative Commons License

Creative Commons License |

Proving