|
|
|
|
| LEADER |
00998cam a2200289 ir4500 |
| 001 |
NSK01000665960 |
| 003 |
HR-ZaNSK |
| 005 |
20191129152133.0 |
| 007 |
ta |
| 008 |
080516s2008 ne 001 0 eng |
| 020 |
|
|
|a 9781402061691
|
| 035 |
|
|
|9 (HR-ZaNSK)668228
|
| 035 |
|
|
|a (HR-ZaNSK)000665960
|
| 040 |
|
|
|a HR-ZaNSK
|b hrv
|c HR-ZaNSK
|e ppiak
|
| 080 |
|
|
|a 164:007
|2 MRF 1998.
|
| 080 |
|
|
|a 510.635
|2 MRF 1998.
|
| 100 |
1 |
|
|a Primiero, Giuseppe
|
| 245 |
1 |
0 |
|a Information and knowledge :
|b a constructive type-theoretical approach /
|c by Giuseppe Primiero.
|
| 260 |
|
|
|a Dordrecht :
|b Springer,
|c cop. 2008.
|
| 300 |
|
|
|a IX, 208 str. ;
|c 25 cm.
|
| 490 |
0 |
|
|a Logic, epistemology and the unity of science ;
|v vol. 10
|
| 504 |
|
|
|a Bibliografija: str. 195-206; bibliografske bilješke uz tekst
|
| 504 |
|
|
|a Kazalo
|
| 650 |
|
7 |
|a Teorija informacija
|2 nskps
|
| 650 |
|
7 |
|a Teorija tipova
|2 nskps
|
| 760 |
0 |
|
|t Logic, epistemology and the unity of science
|w nsk.(HR-ZaNSK)000666135
|
| 998 |
|
|
|m eemk0805
|m vhop0805
|
