2 ms·> I might have found a place for logic and type theory. Doesn't that fit under abstract algebra?by theteapot 25d ago> I might have found a place for logic and type theory. Doesn't that fit under abstract algebra?