Advertisement

Recursive Functions and Arithmetization of Theories

Part of the Universitext book series (UTX)

In this chapter we shall study recursive functions.We shall also introduce techniques to show how a general decision problem can be converted into showing whether a partcular function is recursive.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media, LLC 2008

Personalised recommendations