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

03C80 Logic with extra quantifiers and operators (1 articles)

Partner of
EuDML logo