3 books in this genre
A Proof Theory for Description Logics
Alexandre Rademaker
Language, Life, Limits
Arnold Beckmann
Graphs, Networks and Algorithms
Dieter Jungnickel
