| http://www.w3.org/ns/prov#value | - Most popular at the top Recursion Theory for Metamathematicsby Raymond M. SmullyanOxford University Press 1993; US$ 139.99This work is a sequel to the author's Godel's Incompleteness Theorems, though it can be read independently by anyone familiar with Godel's incompleteness theorem for Peano arithmetic.
|
