Reihe SpringerBriefs in Computer ScienceAlexandre Rademaker × A Proof Theory for Description Logics Alexandre RademakerSpringer LondonSoftcover201253,49 € A Proof Theory for Description Logics Alexandre RademakerSpringer LondoneBook201253,49 €