Sites about logicians of historic importance.