|
|
|
|
| LEADER |
03299cam a22007457a 4500 |
| 001 |
MUB01000482973 |
| 003 |
CZ BrMU |
| 005 |
20141204074628.0 |
| 008 |
061205s2006 ne ||||| |||||||||||eng d |
| STA |
|
|
|a POSLANO DO SKCR
|b 2014-01-17
|
| 020 |
|
|
|a 0-444-52077-5
|z 9780444520777
|
| 040 |
|
|
|a BOD004
|b cze
|d BOD018
|d BOD002
|d BOD001
|
| 072 |
|
7 |
|a 510
|x Obecné úvahy o matematice
|2 Konspekt
|9 13
|
| 080 |
|
|
|a 510.6
|2 MRF
|
| 080 |
|
|
|a 168.3
|2 MRF
|
| 080 |
|
|
|a (075.8)
|2 MRF
|
| 100 |
1 |
|
|a Sørensen, Morten Heine B.
|q (Morten Heine Bjørnlund),
|d 1968-
|7 stk2008428828
|4 aut
|
| 245 |
1 |
0 |
|a Lectures on the Curry-Howard isomorphism /
|c Morten Heine Sørensen, Paweł Urzyczyn
|
| 250 |
|
|
|a 1st ed.
|
| 260 |
|
|
|a Amsterdam :
|b Elsevier,
|c 2006
|
| 300 |
|
|
|a xiv, 442 s. :
|b il.
|
| 490 |
1 |
|
|a Studies in logic and the foundations of mathematics,
|x 0049-237X ;
|v vol. 149
|
| 650 |
0 |
7 |
|a matematická logika
|7 ph122671
|2 czenas
|
| 650 |
0 |
7 |
|a teorie důkazu
|7 ph126551
|2 czenas
|
| 650 |
0 |
9 |
|a mathematical logic
|2 eczenas
|
| 650 |
0 |
9 |
|a proof theory
|2 eczenas
|
| 655 |
|
7 |
|a učebnice vysokých škol
|7 fd133772
|2 czenas
|
| 700 |
1 |
|
|a Urzyczyn, Pawel
|7 xx0034840
|4 aut
|
| 830 |
|
0 |
|a Studies in logic and the foundations of mathematics,
|x 0049-237X ;
|v vol. 149
|
| CAT |
|
|
|a VASICEK
|b 02
|c 20061205
|l MUB01
|h 1546
|
| CAT |
|
|
|a JANA
|b 02
|c 20061208
|l MUB01
|h 1233
|
| CAT |
|
|
|a KREKOVA
|b 02
|c 20070227
|l MUB01
|h 1006
|
| CAT |
|
|
|c 20070427
|l MUB01
|h 2200
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1813
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1827
|
| CAT |
|
|
|a VASICEK
|b 02
|c 20080522
|l MUB01
|h 1319
|
| CAT |
|
|
|a BATCH-UPD
|b 02
|c 20091102
|l MUB01
|h 0547
|
| CAT |
|
|
|a BATCH-UPD
|b 02
|c 20091103
|l MUB01
|h 0111
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 0136
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 1819
|
| CAT |
|
|
|a BATCH-UPD
|b 00
|c 20091219
|l MUB01
|h 0726
|
| CAT |
|
|
|a BATCH-UPD
|b 00
|c 20100501
|l MUB01
|h 1115
|
| CAT |
|
|
|c 20101015
|l MUB01
|h 2256
|
| CAT |
|
|
|c 20101016
|l MUB01
|h 0322
|
| CAT |
|
|
|a batch
|b 00
|c 20120324
|l MUB01
|h 0054
|
| CAT |
|
|
|c 20120610
|l MUB01
|h 1832
|
| CAT |
|
|
|a BATCH
|b 00
|c 20130303
|l MUB01
|h 0819
|
| CAT |
|
|
|c 20140117
|l MUB01
|h 1112
|
| CAT |
|
|
|a VACOVAX
|b 02
|c 20140328
|l MUB01
|h 1046
|
| CAT |
|
|
|a SVOBODOVA
|b 02
|c 20141204
|l MUB01
|h 0619
|
| CAT |
|
|
|a PTICHA
|b 02
|c 20141204
|l MUB01
|h 0746
|
| CAT |
|
|
|c 20150404
|l MUB01
|h 0159
|
| CAT |
|
|
|c 20150703
|l MUB01
|h 1002
|
| CAT |
|
|
|a BATCH
|b 00
|c 20151225
|l MUB01
|h 2213
|
| CAT |
|
|
|c 20210614
|l MUB01
|h 0920
|
| CAT |
|
|
|c 20210614
|l MUB01
|h 1909
|
| CAT |
|
|
|a BATCH
|b 00
|c 20210724
|l MUB01
|h 1118
|
| LOW |
|
|
|a POSLANO DO SKCR
|b 2014-01-17
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FF
|a FF - ustredni knihovna
|2 VYBER
|b volný výběr
|3 filozofie-RACL
|5 2571413254
|4 Zakázka 3161
|8 20141127
|f 77
|f Dlouhodobá
|s grant1100
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|2 SKLAD
|b sklad
|3 M349
|5 4200512868
|8 20070117
|f 74
|f Měsíční
|r 20070227
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 PRIF
|a Přírodovědecká fakulta
|2 PRFST
|b ÚK volný výběr
|3 510.6-SORE
|5 3145333740
|8 20061205
|f 74
|f Měsíční
|q 20180711
|r 00000001
|s kup
|
| AVA |
|
|
|a SCI50
|b PRIF
|c ÚK volný výběr
|d 510.6-SORE
|e available
|t K dispozici
|f 1
|g 0
|h N
|i 5
|j PRFST
|
| AVA |
|
|
|a INF50
|b FI
|c sklad
|d M349
|e available
|t K dispozici
|f 1
|g 0
|h N
|i 6
|j SKLAD
|
| AVA |
|
|
|a FIL50
|b FF
|c volný výběr
|d filozofie-RACL
|e unavailable
|t Není k dispozici
|f 1
|g 1
|h N
|i 0
|j VYBER
|
