%L acta13584
%P 38-43
%D 1950
%N A
%V 12
%A  KalmĂĄr LĂĄszlĂł
%K Gödel Kurt, Rosser John Barkley, Természettudomány, Matematika, Művelődés
%O Bibliogr. a lĂĄbjegyzetekben
%T Another proof of the Gödel—Rosser incompleíability theorem
%J Acta scientiarum mathematicarum