Automated deduction in classicial and n0n-classicial logics / - Berlin: Springer, 2000. - 297p;23cm - Lecture notes in artificial intelligence 1761 . Includes bibliographical references. ISBN: 3540671900 Dewey Class. No.: 006.3 LEC