TY - GEN AU - Richard Zach - Author / Andrew Arana - Author / Jeremy Avigad - Author / Walter Dean - Author / Gillian Russell - Author / Nicole Wyatt - Author / Audrey Yap - Author TI - Open Logic Project PY - 2026 PB - Open Logic Text UR - ER -