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

03C90 Nonclassical models (Boolean-valued, sheaf, etc.) (2 articles)

Partner of
EuDML logo