Compiled labelled deductive systems : a uniform presentation of non-classical logics /
Broda, Krysia.
Baldock : Research Studies Press,
c2004.
Includes bibliographical references and index.
Computer logic.