01421nam a22003857a 4500 000006549 CZ-PrVSE 19980727000000.0 980602s1986 gw ||||| eng | 0-387-17162-2 (Springer, New York) 3-540-17162-2 (Springer, Berlin) ABA006 cze ABA006 ABA006 eng gw 519.6 519.6CAT Category Theory and Computer Programming. Tutorial and workshop (1985 : Guildford, UK) Category Theory and Computer Programming : proceedings / edited by David Pitt, Samson Abramsky, Axel Poigné ... [et al.] Berlin ; Heidelberg ; New York : Springer, 1986 VII, 519 s. : obr. Lecture notes in computer science ; 240 Lit. kategoriální data ph121521 czenas programování ph115891 czenas sborníky fd163935 czenas categorial data eczenas programming eczenas Poigné, Axel edt Pitt, David edt Abramsky, Samson edt Lecture notes in computer science 001146626 PDPZ2 F158268 PC=2978/87 3142071838 20030807 519.6CAT 81 UEP01 BOOK Knihovna Žižkov depoz. 2 na 1 měsíc UEP01 20030918