TY  - BOOK
AU  - Kirtland,Joseph
TI  - Proofs 101: :an introduction to formal mathematics 
SN  - 9780367536817
U1  - 510.9 
PY  - 2021///
CY  - Boca Raton: 
PB  - CRC Press
ER  -