"Nonclassical Logics and Information Processing: International Workshop, Berlin, Germany, November 9-10, 1990. Proceedings " - читать интересную книгу автора (D. Pearce, H. Wansing)