TY - BOOK AU - Ellingson-Waugh,Ter TI - Algebraic and geometric logic ER -