The halt problem and theory of hierarchies

From MaRDI portal
Publication:1227730