Structuring Proofs

Doug Howe and Paul Jackson

October 20, 1992