Goedelov dokaz
| Permalink: | http://skupni.nsk.hr/Record/ffdi.ZAG01000103636/TOC |
|---|---|
| Matična publikacija: | Miscellanea / Kruzak 41865 |
| Glavni autor: | Nagel, Ernest (-) |
| Ostali autori: | Gödel, Kurt (-), Newman, James R. |
| Vrsta građe: | Knjiga |
| Jezik: | hrv |
| Impresum: |
Zagreb :
KruZak,
2001.
|
| Nakladnička cjelina: |
Biblioteka Miscellanea
|
| Predmet: |
Sadržaj:
- Dodatak: O formalno neodlučivim stavcima Principia Mathematica i srodnih sustava I / Kurt Goedel ; s njem.preveo Vladimir Kirin