4 ms·" ... with an Application to the Entscheidungsproblem"by AnonymousPlanet 9mo ago" ... with an Application to the Entscheidungsproblem"