Formal Methods for Nonmonotonic and Related Logics Vol. I and Vol. II (Set)Karl SchlechtaVypredanáPostrážiť