TY - BOOK AU - Ashlock, Daniel, Lee, Colin TI - Introduction to proofs with set theory / SN - 9783031012983 U1 - 511.3 PY - 2022/// CY - Switzerland : PB - Springer KW - Discrete mathematics KW - Logic KW - Set theory KW - Mathematical proofs ER -