Research and Interests
Research
μ-calculus
,
Descriptive Set Theory
and
Automata Theory
Other Interests
Abstract Algebraic Logic
Foundations and Philosophy of Mathematics
Game Theory
back
