Archive for July, 2012

Bachelor thesis: on effective undecidability and Post’s problem

Wednesday, July 11th, 2012

This is my bachelor thesis on effective undecidability and Post’s problem.