Karl Schlechta Formal Methods for Nonmonotonic and Related Logics - Springer Springer 2018 ISBN: 9783319896533 Source: EBOOK