mathematical-logic As a command 12 categories below mathematical-logic Narrow by cognition 5 concept 5 formal-system 5 idea 5 computability-theory 1 computer-science 1 computability-theory 1classical-logiccomputational-complexity-theorydescription-logicfirst-order-logicfuzzy-logicintuitionistic-logicmodal-logicmodel-theoryproof-theorypropositional-logictype-theory