Structuring Proofs

Doug Howe and Paul Jackson

October 27, 1992