Directory of United Kingdom Resources

Home > Science > Math > Logic and Foundations > Research Groups and Centers > Europe > United Kingdom

Research groups in Logic and the Foundations of Mathematics in the UK.

Resources in This Category

• University of Leeds

  http://www.amsta.leeds.ac.uk/Pure/logic/
  Mathematical Logic Group. Research areas: recursion theory, model theory, set theory and foundations, proof theory, and in applications to algebra, analysis and theoretical computer science. Members, events, seminars.

• University of Oxford

  http://www.maths.ox.ac.uk/groups/logic
  Mathematical Institute, Mathematical Logic group. Members, seminars. Home of the Model Theoretic Exchange.

• University of St. Andrews

  http://www.dcs.st-and.ac.uk/~rd/logic.html
  Department of Computer Science, Computational Logic group. Members, events, publications, collaborators.

 

Home > Science > Math > Logic and Foundations > Research Groups and Centers > Europe > United Kingdom

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us