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