03 Mathematical logic and foundations
03Cxx Model theory (2 articles)

03C57 Effective and recursion-theoretic model theory (1 articles)

Partner of
EuDML logo