TY - JOUR ID - 146310164 TI - Tableaux for many-valued logics PY - DB - UniCat UR - https://www.unicat.be/uniCat?func=search&query=sysid:146310164 AB - ER -