Directory of links on logic and foundations of mathematics

Research teams and centers : Europe - North America - Other

Publications - Blogs - Organizations - Mailing lists - Software - Other


Publications

Preprints

Online Journals

Ordinary journals

Philosophy journals

General directories of mathematical publications

Bibliographies

Activities


Blogs

Organizations

Mailing lists

Conferences

Software

Theory Related Software
Wikipedia : Proof assistant (comparison table) - Automated theorem proving (with also a comparison table)
Some links to logic software
Educational Logic Software by the Committee of Logical Education of ASL
Announcement for web programmers : I have a solution to change the world by a new decentralized online social network, participants welcome.

Other

Introductions to logic and foundations

More portals


Created by Sylvain Poirier, author of settheory.net, in July 2012 (with updated links while the main sources used (world.logic.at, and Anton Setzer), were all quite incomplete and obsolete, thus visibly no more maintained).
Other scientific pages and lists of links