Proofs without syntax (2006)

by D J D Hughes
Venue:A. of Mathematics