Mathematical Logic →

Notes

 →
#
>

Abstract Algebra seems to be relevant.

→