Web Directory by Internet-Web-Directory.com

Research group based in Edinburgh, it is running on the interaction between logic, mathematics and informatics. Links to publications, homepages, reports.

Basic material on proof theory and the home page of the only mailing list devoted to proof theory, with hundreds of experts.