TY - BOOK ID - 129617718 TI - Open Logic Project PY - DB - UniCat UR - https://www.unicat.be/uniCat?func=search&query=sysid:129617718 AB - ER -