03 Mathematical logic and foundations
03Dxx Computability and recursion theory

03D40 Word problems, etc. (1 articles)

Partner of
EuDML logo