%0 Journal Article %@ 0001-6969 %A Kalmár László %D 1950 %F acta:13584 %J Acta scientiarum mathematicarum %K Gödel Kurt, Rosser John Barkley, Természettudomány, Matematika, Művelődés %N A %P 38-43 %T Another proof of the Gödel—Rosser incompleíability theorem %U http://acta.bibl.u-szeged.hu/13584/ %V 12 %Z Bibliogr. a lábjegyzetekben