16Bxx General and miscellaneous ( 0 Dok. )

• 16B50 Category-theoretic methods and results (except as in 16D90, 16E10), See also {18-XX} ( 0 Dok. )
• 16B70 Applications of logic, See also {03Cxx} ( 0 Dok. )
• 16B99 None of the above but in this section ( 0 Dok. )