Title: [Editorial matter for the collection, with a life of the author.]