computability-theory public under mathematical-logic 12 List Picture As a command computational-complexity-theory