Intrepid Blog

Bachelor thesis: on effective undecidability and Post’s problem