> I might have found a place for logic and type theory.

Doesn't that fit under abstract algebra?