書本目錄: “... functions and Church's thesis ; VI. Diophantine sets and algorithmic undecidability -- Provability...”