Another proof of the Gödel—Rosser incompleíability theorem
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Published: |
1950
|
| Series: | 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 |
| Physical Description: | 38-43 |
|---|---|
| ISSN: | 0001-6969 |