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.
[Mozilla Einstein]
Last update:
October 8, 2013 at 14:45:11 UTC
Science
Shopping
Society
Sports
All Languages
Arts
Business
Computers
Games
Health
Home
News
Recreation
Reference
Regional