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