|
|
|
|
| LEADER |
01020nam a2200301ui 4500 |
| 003 |
HR-ZaFF |
| 008 |
050727s2001 ||| |||||||||| ||hrv|d |
| 999 |
|
|
|c 105819
|d 105819
|
| 020 |
|
|
|a 9539647789
|
| 035 |
|
|
|a HR-ZaFF filL2731
|
| 040 |
|
|
|a HR-ZaFF
|b hrv
|c HR-ZaFF
|e ppiak
|
| 041 |
1 |
|
|a hrv
|
| 080 |
|
|
|a 164.041
|
| 100 |
1 |
|
|a Nagel, Ernest
|
| 245 |
1 |
0 |
|a Goedelov dokaz /
|c Ernest Nagel, James R. Newman ; s engleskog prevela Maja Hudoletnjak Grgić.
|
| 260 |
|
|
|a Zagreb :
|b KruZak,
|c 2001.
|
| 300 |
|
|
|a 117 str. ;
|c 21 cm
|
| 440 |
|
0 |
|a Biblioteka Miscellanea
|
| 500 |
|
|
|a Prijevod djela: Goedel's proof
|
| 500 |
|
|
|a Sadrži i: O formalno neodlučivim stavcima Principia Mathematica i srodnih sustava I ; s njemačkog preveo Vladimir Kirin
|
| 504 |
|
|
|a Bibliografske bilješke uz tekst
|
| 653 |
|
|
|a Goedel, Kurt -- deduktivna teorija
|
| 700 |
1 |
|
|a Newman, James R.
|
| 942 |
|
|
|b LIB
|c KNJ
|d FIL |
|h BA
|i NAG g
|6 BA_NAG_G
|
| 991 |
|
|
|a fil14378
|
| 991 |
|
|
|a fil14377
|
| 992 |
|
|
|a 4564
|b LM
|c 20050727
|
| 993 |
|
|
|a Isp. lit.
|
