Recursion Theory for Metamathematics

In 1931, Princeton mathematician Kurt Gdel startled the scientific world with his Theorem of Undecidability, which showed that some statements in mathematics are inherently `undecidable'. This volume of the Oxford Logic Guides is a sequel to Smull...