List of Research Groups in Logic and Theoretical Computer Science World-wide
Here:
Minnesota
University of Minnesota
School of mathematics
Mathematical logic, constructive mathematics, set theory, recursion theory
back to table of contents for Logic Servers Worldwide
back to Theoretical Computer Science at Swansea
back to Computer Science at Swansea
Please mail additions and corrections to
Anton Setzer
,
.