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