TY  - BOOK
AU  - Norse, Arvid
TI  - Proving Theorems
SN  - 9789394612495
U1  - 510.6 
PY  - 2022///
PB  - Phoenix
KW  - Mathematics
ER  -