Naive set theory Metadata 3d edition Introduction to Graph Theory An introduction to description logic