Mathematical Sciences Classification System
16Bxx - General and miscellaneous
-
16B50
-
16B70Applications of logic [See also 03Cxx]
-
16B99None of the above, but in this section