Displaying similar documents to “Some remarks on partially recursive functions”