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