mathematical-logic public under logic 13, mathematics 79 List Picture As a command %3 n0 mathematical-logic n3 computability-theory n0->n3 n4 classical-logic n0->n4 n5 description-logic n0->n5 n6 first-order-logic n0->n6 n7 fuzzy-logic n0->n7 n8 intuitionistic-logic n0->n8 n9 modal-logic n0->n9 n10 model-theory n0->n10 n11 proof-theory n0->n11 n12 propositional-logic n0->n12 n13 type-theory n0->n13 n1 logic n1->n0 n2 mathematics n2->n0