We have a large active group of researchers in several core areas of mathematical logic, including model theory, recursion theory and set theory.
確定! 回上一頁