|
|
|
|
| LEADER |
01073caa a2200301 ir4500 |
| 001 |
NSK01000249018 |
| 003 |
HR-ZaNSK |
| 005 |
20070917202407.0 |
| 008 |
991209s1998 ci ||| ||eng |
| 015 |
|
|
|a HP98-6988
|2 HR
|
| 035 |
|
|
|9 (HR-ZaNSK)249274
|
| 035 |
|
|
|9 (HR-ZaNSK)391209085
|
| 035 |
|
|
|a (HR-ZaNSK)000249018
|
| 040 |
|
|
|a HR-ZaNSK
|b hrv
|c HR-ZaNSK
|e ppiak
|
| 041 |
0 |
|
|a eng
|b hrv
|
| 080 |
|
|
|a 510.2
|
| 100 |
1 |
|
|a Vuković, Mladen,
|c matematičar
|
| 245 |
1 |
4 |
|a The interpretability logic ILF /
|c Mladen Vuković.
|
| 300 |
|
|
|b Ilustr.
|
| 500 |
|
|
|a Mathematical colloquium, Croatian mathematical society-division Osijek, 29.5.1998.
|
| 504 |
|
|
|a Bibliografija: 8 jed.
|
| 504 |
|
|
|a Sažetak
|
| 650 |
|
7 |
|a Teorija dokaza i konstruktivne metode
|x Relativna konzistencija i interpretacije
|2 nskps
|
| 773 |
0 |
|
|t Mathematical communications (Osijek)
|x 1331-0623
|g 3 (1998), 2 ; str. 205-210
|w nsk.(HR-ZaNSK)000174376
|
| 932 |
|
|
|a da
|b znanstveni rad
|
| 981 |
|
|
|p CRO
|z B1112/98
|
| 998 |
|
|
|a LUKo9912
|a dimi0002
|c ikak0009
|c pago0112
|
| 886 |
0 |
|
|2 unimarc
|b 00806naa2 2200229 450
|