|
|
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.
Sponsored Links:
|
| URL: |
|
| Title: |
Logic at Leeds - Homepage |
| Description: |
|
| Category: |
|