Lemma 11.1
Kurs:Einführung in die mathematische Logik (Osnabrück 2011-2012)/Vorlesung 11 Repräsentierbarkeit von Registerprogrammen/Über p-adische beta Funktion/Fakt