Our websites may use cookies to personalize and enhance your experience. By continuing without changing your cookie settings, you agree to this collection. For more information, please see our University Websites Privacy Notice.
Professor Emeritus of Mathematics
Classical logic, recursion theory, degress of unsolvability.
