|
|
|
|
| LEADER |
01821cam a2200409 ir4500 |
| 001 |
NSK01000519864 |
| 003 |
HR-ZaNSK |
| 005 |
20210331093640.0 |
| 008 |
040407s1989 xxua 000 0 eng |
| 020 |
|
|
|a 0821851004
|
| 035 |
|
|
|9 (HR-ZaNSK)520719
|
| 035 |
|
|
|9 (HR-ZaNSK)440407080
|
| 035 |
|
|
|a (HR-ZaNSK)000519864
|
| 040 |
|
|
|a HR-ZaNSK
|b hrv
|c HR-ZaNSK
|e ppiak
|
| 041 |
0 |
|
|a eng
|
| 044 |
|
|
|a us
|
| 080 |
1 |
|
|a 512.58
|2 2011
|
| 080 |
1 |
|
|a 004
|2 2011
|
| 080 |
1 |
|
|a 510.6
|2 2011
|
| 080 |
1 |
|
|a (062)
|2 2011
|
| 111 |
2 |
|
|a AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic
|d (1987 ;
|c University of Colorado, Boulder)
|
| 245 |
1 |
0 |
|a Categories in computer science and logic :
|b proceedings of the AMS-IMS-SIAM Joint Summer Research Conference, held June 14-20, 1987 with support from the National Science Foundation /
|c John W. [Walker] Gray and Andre Scedrov, editors.
|
| 260 |
|
|
|a Providence :
|b American Mathematical Society,
|c cop. 1989.
|
| 300 |
|
|
|a X, 382 str. :
|b ilustr. ;
|c 26 cm.
|
| 490 |
0 |
|
|a Contemporary mathematics
|x 0271-4132 ;
|v vol. 92
|
| 500 |
|
|
|a Izv. oblik imena 2. urednika: Andrej Ščedrov
|
| 500 |
|
|
|a Puni naziv autora: The AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic
|
| 504 |
|
|
|a Bibliografija uz svaki rad i uz tekst
|
| 650 |
|
7 |
|a Kategorije (matematika)
|v Kongresi
|2 nskps
|
| 650 |
|
7 |
|a Računalstvo
|v Kongresi
|2 nskps
|
| 650 |
|
7 |
|a Simbolička i matematička logika
|v Kongresi
|2 nskps
|
| 700 |
1 |
|
|a Gray, John Walker
|4 edt
|
| 700 |
1 |
|
|a Ščedrov, Andrej
|4 edt
|
| 760 |
0 |
|
|t Contemporary mathematics
|w nsk.(HR-ZaNSK)000020205
|
| 998 |
|
|
|m khok0404
|m vhop0405
|c mzop180108
|c dvoi2103
|
| 876 |
|
|
|e KM
|a 279/2004
|
| 886 |
0 |
|
|2 unimarc
|b 01324nam2 2200277 450
|
