|
|
|
|
| LEADER |
02577cam a22006257a 4500 |
| 001 |
MUB01000364592 |
| 003 |
CZ BrMU |
| 005 |
20230725070338.0 |
| 008 |
000605s1983 ru ||||| |||||||||||rusod |
| STA |
|
|
|a POSLANO DO SKCR
|b 2010-02-12
|
| 040 |
|
|
|a BOD004
|b cze
|
| 041 |
1 |
|
|a rus
|h eng
|
| 100 |
1 |
|
|a Chang, Chin-Liang
|4 aut
|
| 245 |
1 |
0 |
|a Matematičeskaja logika i avtomatičeskoje dokazatel'stvo teorem /
|c Č. Čen', R. Li ; perevod s anglijskogo G.V. Davydova, G.Je. Minca, A.V. Sočilinoj ; pod redakcijej S.Ju. Maslova
|
| 260 |
|
|
|a Moskva :
|b Nauka,
|c 1983
|
| 300 |
|
|
|a 358 s.
|
| 490 |
1 |
|
|a Matematičeskaja logika i osnovanija matematiki
|
| 655 |
|
7 |
|a monografie
|7 fd132842
|2 czenas
|
| 700 |
1 |
|
|a Davydov, G. V.
|4 trl
|
| 700 |
1 |
|
|a Minc, Grigorij Jefimovič,
|d 1939-2014
|7 mub20191036292
|4 trl
|
| 700 |
1 |
|
|a Sočilinoj, A. V.
|4 trl
|
| 700 |
1 |
|
|a Lee, Richard Char-Tung
|4 aut
|
| 700 |
1 |
|
|a Maslov, Sergej Jur'jevič,
|d 1939-1982
|7 jo2004213401
|4 edt
|
| 765 |
0 |
|
|t Symbolic logic and mechanicalů theorem proving
|9 Rusky
|
| 830 |
|
0 |
|a Matematičeskaja logika i osnovanija matematiki
|
| CAT |
|
|
|a CONV-PRIF
|b 02
|c 20041229
|l MUB01
|h 1335
|
| CAT |
|
|
|c 20050122
|l MUB01
|h 1257
|
| CAT |
|
|
|a CONV-653
|b 02
|c 20050213
|l MUB01
|h 2153
|
| CAT |
|
|
|c 20070427
|l MUB01
|h 2143
|
| CAT |
|
|
|a BATCH-UPD
|b 02
|c 20080319
|l MUB01
|h 0719
|
| CAT |
|
|
|a BATCH-UPD
|b 02
|c 20080416
|l MUB01
|h 0611
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1810
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1824
|
| CAT |
|
|
|c 20080602
|l MUB01
|h 1122
|
| CAT |
|
|
|c 20080604
|l MUB01
|h 0957
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 0036
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 1714
|
| CAT |
|
|
|c 20100212
|l MUB01
|h 0854
|
| CAT |
|
|
|a BATCH-UPD
|b 00
|c 20100501
|l MUB01
|h 1000
|
| CAT |
|
|
|c 20101015
|l MUB01
|h 2227
|
| CAT |
|
|
|c 20101016
|l MUB01
|h 0238
|
| CAT |
|
|
|a PUTNOVAX
|b 02
|c 20101126
|l MUB01
|h 1442
|
| CAT |
|
|
|c 20110627
|l MUB01
|h 1636
|
| CAT |
|
|
|a batch
|b 00
|c 20120324
|l MUB01
|h 0019
|
| CAT |
|
|
|a BATCH
|b 00
|c 20130303
|l MUB01
|h 0328
|
| CAT |
|
|
|a ANTLOVAX
|b 02
|c 20140704
|l MUB01
|h 1021
|
| CAT |
|
|
|a BATCH
|b 00
|c 20151224
|l MUB01
|h 0925
|
| CAT |
|
|
|a VACOVAX
|b 02
|c 20190517
|l MUB01
|h 1027
|
| CAT |
|
|
|a BATCH-UPD
|b 02
|c 20190521
|l MUB01
|h 2353
|
| CAT |
|
|
|a BATCH-UPD
|b 02
|c 20190603
|l MUB01
|h 2351
|
| CAT |
|
|
|a CERVINKOVA
|b 02
|c 20230725
|l MUB01
|h 0703
|
| LOW |
|
|
|a POSLANO DO SKCR
|b 2010-02-12
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 PRIF
|a Přírodovědecká fakulta
|2 PRFSK
|b ÚK sklad
|3 I-25537
|6 1563
|5 3145025376
|4 DPČ: 486/83
|8 20041229
|f 75
|f Měsíční SKLAD
|q 20180605
|r 00000001
|
| AVA |
|
|
|a SCI50
|b PRIF
|c ÚK sklad
|d I-25537
|e available
|t K dispozici
|f 1
|g 0
|h N
|i 0
|j PRFSK
|
