|
|
|
|
| LEADER |
01600nam a22004097a 4500 |
| 001 |
MUB01000850092 |
| 003 |
CZ BrMU |
| 005 |
20130503101101.0 |
| 008 |
130129s2011 sz ||||| |||||||||||eng d |
| STA |
|
|
|a POSLANO DO SKCR
|b 2020-08-05
|
| 020 |
|
|
|a 978-3-03719-088-3
|
| 040 |
|
|
|a BOD004
|b cze
|
| 072 |
|
7 |
|a 51
|x Matematika
|2 Konspekt
|9 13
|
| 080 |
|
|
|a 510.6
|2 MRF
|
| 080 |
|
|
|a 168.3
|2 MRF
|
| 100 |
1 |
|
|a Girard, Jean-Yves,
|d 1947-
|7 mzk2004228265
|4 aut
|
| 245 |
1 |
4 |
|a The blind spot :
|b lectures on logic /
|c Jean-Yves Girard
|
| 260 |
|
|
|a Zürich :
|b European Mathematical Society,
|c c2011
|
| 300 |
|
|
|a xiii, 537 s.
|
| 504 |
|
|
|a Obsahuje bibliografii (s. [509]-515) a rejstřík
|
| 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
|
| CAT |
|
|
|a ANTLOVA
|b 02
|c 20130129
|l MUB01
|h 0918
|
| CAT |
|
|
|a BATCH
|b 00
|c 20130304
|l MUB01
|h 1533
|
| CAT |
|
|
|a POSPEL
|b 02
|c 20130430
|l MUB01
|h 1535
|
| CAT |
|
|
|a MENSIKOVA
|b 02
|c 20130503
|l MUB01
|h 1011
|
| CAT |
|
|
|c 20150404
|l MUB01
|h 0740
|
| CAT |
|
|
|a BATCH
|b 00
|c 20151226
|l MUB01
|h 0350
|
| CAT |
|
|
|c 20200805
|l MUB01
|h 1059
|
| CAT |
|
|
|c 20210614
|l MUB01
|h 1002
|
| CAT |
|
|
|c 20210614
|l MUB01
|h 1951
|
| LOW |
|
|
|a POSLANO DO SKCR
|b 2020-08-05
|
| 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-GIRA
|5 3145356757
|4 grant ÚMS (Rosický)
|8 20130129
|f 70
|f Prezenční
|q 20180711
|r 20130129
|s kup
|
| AVA |
|
|
|a SCI50
|b PRIF
|c ÚK volný výběr
|d 510.6-GIRA
|e available
|t K dispozici
|f 1
|g 0
|h N
|i 0
|j PRFST
|
