Impossibility of finite generation of partial recursive functions by a unary isotone operation

From MaRDI portal
Publication:1101443