Kalmár László: Lecture I. 14.
Kalmár László: On the so-called undeciable mathematical problems (Contimation) : Peking, 1958. dec. 4. 8.30.