Review of: "An Undecidable Decision Problem About a Non-Negative Integer 𝘯 That Has a Short Description in Terms of Arithmetic"

Computability Logic AI Algorithms semigroups and automata theory Advanced Topology and Set Theory