3 libri in questo genere
A Proof Theory for Description Logics
Alexandre Rademaker
Language, Life, Limits
Arnold Beckmann
Graphs, Networks and Algorithms
Dieter Jungnickel