Title: Catalogue of a collection of books on logic