TY - GEN AU - Babich, Amy AU - Person, Laura TI - Write your own proofs: in set theory and discrete mathematics SN - 9780486832814 U1 - 511.322 PY - 2019/// CY - New York PB - Dover Publications KW - Logic- Symbolic- Mathematical KW - Computer Science- Mathematics KW - Proof Theory N1 - Includes bibliographical references and index ER -