|
|
|
|
| LEADER |
02548nam a22006617a 4500 |
| 001 |
MUB01000345397 |
| 003 |
CZ BrMU |
| 005 |
20230717081159.0 |
| 008 |
030929s1991 xxk||||| |||||||||||eng d |
| STA |
|
|
|a POSLANO DO SKCR
|b 2010-01-21
|
| 020 |
|
|
|a 0-262-01125-5
|
| 040 |
|
|
|a BOD004
|b cze
|
| 072 |
|
7 |
|a 512
|x Algebra
|2 Konspekt
|9 13
|
| 080 |
|
|
|a 512.5
|2 MRF
|
| 080 |
|
|
|a (048.8)
|2 MRF
|
| 100 |
1 |
|
|a Asperti, Andrea,
|d 1961-
|7 xx0008308
|4 aut
|
| 245 |
1 |
0 |
|a Categories, types and structures :
|b an introduction to category theory for the working computer scientist /
|c Andrea Asperti, Giuseppe Longo.
|
| 260 |
|
|
|a London :
|b MIT Press,
|c 1991.
|
| 300 |
|
|
|a xi, 306 s.
|
| 490 |
1 |
|
|a Foundations of computing
|
| 650 |
0 |
7 |
|a algebraické struktury
|7 ph118347
|2 czenas
|
| 650 |
0 |
9 |
|a algebraic structures
|2 eczenas
|
| 655 |
|
7 |
|a monografie
|7 fd132842
|2 czenas
|
| 655 |
|
9 |
|a monographs
|2 eczenas
|
| 700 |
1 |
|
|a Longo, Giuseppe
|4 aut
|
| 830 |
|
0 |
|a Foundations of computing
|
| CAT |
|
|
|a CONV-PRIF
|b 02
|c 20041229
|l MUB01
|h 1334
|
| CAT |
|
|
|c 20050122
|l MUB01
|h 1254
|
| CAT |
|
|
|a CONV-653
|b 02
|c 20050213
|l MUB01
|h 2150
|
| CAT |
|
|
|c 20070427
|l MUB01
|h 2140
|
| CAT |
|
|
|a BATCH-UPD
|b 02
|c 20080319
|l MUB01
|h 0712
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1809
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1824
|
| CAT |
|
|
|c 20080602
|l MUB01
|h 1121
|
| CAT |
|
|
|c 20080604
|l MUB01
|h 0957
|
| CAT |
|
|
|a ZITTERBART
|b 02
|c 20090731
|l MUB01
|h 1139
|
| CAT |
|
|
|a BATCH-UPD
|b 02
|c 20091102
|l MUB01
|h 0435
|
| CAT |
|
|
|a BATCH-UPD
|b 02
|c 20091102
|l MUB01
|h 2353
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 0025
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 1700
|
| CAT |
|
|
|a BATCH-UPD
|b 00
|c 20091219
|l MUB01
|h 0637
|
| CAT |
|
|
|c 20100121
|l MUB01
|h 1043
|
| CAT |
|
|
|a BATCH-UPD
|b 00
|c 20100501
|l MUB01
|h 0947
|
| CAT |
|
|
|c 20101015
|l MUB01
|h 2223
|
| CAT |
|
|
|c 20101016
|l MUB01
|h 0229
|
| CAT |
|
|
|a batch
|b 00
|c 20120324
|l MUB01
|h 0012
|
| CAT |
|
|
|c 20120610
|l MUB01
|h 1713
|
| CAT |
|
|
|a BATCH
|b 00
|c 20130303
|l MUB01
|h 0249
|
| CAT |
|
|
|a PUTNOVAX
|b 02
|c 20140703
|l MUB01
|h 1510
|
| CAT |
|
|
|c 20150403
|l MUB01
|h 2232
|
| CAT |
|
|
|a BATCH
|b 00
|c 20151224
|l MUB01
|h 0904
|
| CAT |
|
|
|c 20210614
|l MUB01
|h 0855
|
| CAT |
|
|
|c 20210614
|l MUB01
|h 1847
|
| CAT |
|
|
|a KOURILOVAX
|b 02
|c 20230717
|l MUB01
|h 0811
|
| LOW |
|
|
|a POSLANO DO SKCR
|b 2010-01-21
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 PRIF
|a Přírodovědecká fakulta
|2 PRFST
|b ÚK volný výběr
|3 512.5-ASPE
|5 3145032458
|4 PČ: 999-92, DPČ: 97-92, matematika
|8 20041229
|f 74
|f Měsíční
|q 20180712
|
| AVA |
|
|
|a SCI50
|b PRIF
|c ÚK volný výběr
|d 512.5-ASPE
|e available
|t K dispozici
|f 1
|g 0
|h N
|i 5
|j PRFST
|
