in which Bob and I introduce implication by writing functional programs and proving the corresponding theorems
No download links available.
