TY - BOOK ID - 135840066 TI - Analytic tableaux and related methods. 2 : Non-classical logics AU - Dyckhoff, Roy AU - Wansing, Heinrich PY - 2001 PB - Dordrecht Kluwer Academic DB - UniCat UR - https://www.unicat.be/uniCat?func=search&query=sysid:135840066 AB - ER -