- General Logic
- Open problems in Mathematical Logic (Forum for discussion of open problems at Berkley).

- Type Theory, Logical Frameworks
- Category Theory
- Categories home page (mailing list and many links)

- Computability Theory
- Computability Theory (contains many homepages of people working in this area)
- CCA: Computability and complexity in analysis
- Open Questions in computability theory (by Ted Slaman, University of California-Berkeley): LaTeX, dvi, postscript

- Linear Logic
- Set Theory
- Modal Logic
- Automated Reasoning (except type theory)
- Reserch Sites about
- Mechanized Reasoning (Stanford) Automated Deduction and related matters (Stanford)
- Mechanized Reasoning
- Automated Induction (by David McAllester)
- Automated Deduction (by Tomás Uribe)
- University Research Groups specializing on Mechanized Reasoning in the german-speaking Region
- The QED project

- Formal Methods
- Abstract state machines
- Formal Methods
- APPSEM working group on applied semantics
- Formal Methods Library (Oxford)

- Logic Programming
- The World-Wide Web Virtual Library: Logic ProgrammingOxford)

- Complexity Theory
- Algebraic Specification
- Artificial Intelligence

- back to table of contents for Logic Servers Worldwide
- back to Theoretical Computer Science at Swansea
- back to Computer Science at Swansea