TY  - JOUR
AV  - public
VL  - 12
ID  - acta13584
JF  - Acta scientiarum mathematicarum
EP  - 43
N1  - Bibliogr. a lábjegyzetekben
TI  - Another proof of the Gödel?Rosser incompleíability theorem
SN  - 0001-6969
KW  - Gödel Kurt
KW  -  Rosser John Barkley
KW  -  Természettudomány
KW  -  Matematika
KW  -  M?vel?dés
UR  - http://www.acta.hu
Y1  - 1950///
IS  - A
SP  - 38
A1  -  Kalmár László
ER  -