Sets and proofs : - Cooper, S. B. (S. Barry); Truss, J. K. (London Mathematical Society lecture note series ;, 1999)