Categories in computer science and logic

Permalink: http://skupni.nsk.hr/Record/nsk.NSK01000519864/Details
Ostali autori: AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic (-)
Ostali autori: Gray, John Walker (Editor), Ščedrov, Andrej
Vrsta građe: Knjiga
Jezik: eng
Impresum: Providence : American Mathematical Society, cop. 1989.
Nakladnička cjelina: Contemporary mathematics vol. 92
Predmet:
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