The Mathematical Logic Group
Library Home || Full Table of Contents || Library Help
|University of Leeds, U.K.|
|One of the largest and most active groups in Europe, with an international reputation for research in several of the main areas of mathematical logic: recursion theory, model theory, set theory and foundations, proof theory, and in applications to algebra, analysis and theoretical computer science.|
|Resource Types:||Research Centers|
© 1994- The Math Forum at NCTM. All rights reserved.