Zgłoś błąd związany z obiektem: Emil L. Post and the problem of mechanical provability : a survey of Post’s contributions in the centenary of his birth