Research groups in Logic and the Foundations of Mathematics in the UK.
University of Leeds
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
Mathematical Institute, Mathematical Logic group. Members, seminars. Home of the Model Theoretic Exchange.
University of St. Andrews
Department of Computer Science, Computational Logic group. Members, events, publications, collaborators.
Last update:October 8, 2013 at 14:45:11 UTC