Kalmár László:   Another proof of the Gödel—Rosser incompleíability theorem.  In: Acta scientiarum mathematicarum, (12) A.  pp. 38-43. (1950)