Mathematical Logic →

Notes

 →
#
>

abstract algebra seems to be relevant.

→