Start date: 1999-12-01, End date: 2002-11-30
The proposal is for a three year project focussing on a number of fundamental topics in the area of recursion theory and its applications to logic, mathematics and theoretical computer science.
In the area of recursive model theory, emphasis is on research involving a product...
Record Number: 66267
Last updated on: 2002-10-30