1. Metamathematische Begriffe in Standardtheorien;Germano;Archiv für mathematische Logik und Grundlagenforschung,1970
2. G. Germano A very short proof of a strong incompleteness theorem To appear in Notices of the American Mathematical Society
3. Uber formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I;Godel;Monatshefte für Mathematik und Physik,1931
4. A. Grzegorczyk Some classes of recursive functions. Rozprawy matematyczne no. 4, Instytut Matematyczny Polskiej Akademie Nauk. Warsaw 1953
5. Egyszerü példa eldönthetetlen aritmetikai problémára.” [Ein einfaches Beispiel für ein unentscheidbares arithmetisches Problem.] Hungarian with German abstract;Kalmår;Matematikai és fizikai lapok,1943