Proofs Without Syntax. Annals of Mathematics 2006 (0)

by D J D Hughes