Guide to logic. Includes information about logic, mathematics, history, ontologies, computing, and philosophy.

International organization promotes research in logic, philosophy and the history of math. Peruse their newsletter, member info and discussions of computational logic.