Логический портал Theo.ru
ИC по формальным теориям
Словарь по логике
Библиотечка