Starting with few prerequisites beyond linear algebra, the author charts an expert course from Witt's classical theory of quadratic forms, quaternion and Clifford algebras, Artin-Schreier theory of formally real fields, and structural theorems on Witt ring