TY - BOOK AU - Norse, Arvid AU - Norse, Arvid TI - Proving Theorems SN - 9789394612495 U1 - 511.1 PY - 2022/// CY - UK PB - Phoenix Publications KW - Mathmatics N1 - index ER -