Another proof of the Gödel—Rosser incompleíability theorem
Elmentve itt :
| Szerző: | |
|---|---|
| Dokumentumtípus: | Cikk |
| Megjelent: |
1950
|
| Sorozat: | Acta scientiarum mathematicarum
12 No. A |
| Kulcsszavak: | Gödel Kurt, Rosser John Barkley, Természettudomány, Matematika, Művelődés |
| Online Access: | http://acta.bibl.u-szeged.hu/13584 |
| Terjedelem/Fizikai jellemzők: | 38-43 |
|---|---|
| ISSN: | 0001-6969 |