computability-theory public under mathematical-logic 12 List Picture As a command %3 n0 computability-theory n2 computational-complexity-theory n0->n2 n1 mathematical-logic n1->n0