|
|
|
|
| LEADER |
01798nam a22004577i 4500 |
| 001 |
MUB01006483706 |
| 003 |
CZ BrMU |
| 005 |
20210623101158.0 |
| 008 |
210616t20102010ne ||||| |||||||||||eng d |
| STA |
|
|
|a POSLANO DO SKCR
|b 2021-09-19
|
| 020 |
|
|
|a 978-90-481-6639-8
|q (PB)
|
| 040 |
|
|
|a BOD001
|b cze
|e rda
|
| 072 |
|
7 |
|a 510
|x Obecné úvahy o matematice
|2 Konspekt
|9 13
|
| 080 |
|
|
|a 510.6
|2 MRF
|
| 080 |
|
|
|a (048.8:082)
|2 MRF
|
| 100 |
1 |
|
|a Kamareddine, Fairouz D.
|4 aut
|
| 245 |
1 |
0 |
|a A modern perspective on type theory :
|b from its origins until today /
|c by Fairouz Kamareddine, Twan Laan and Rob Nederpelt
|
| 264 |
|
1 |
|a Dordrecht :
|b Kluwer Academic Publishers,
|c [2010]
|
| 264 |
|
4 |
|c ©2010
|
| 300 |
|
|
|a xiv, 357 stran
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a bez média
|b n
|2 rdamedia
|
| 338 |
|
|
|a svazek
|b nc
|2 rdacarrier
|
| 490 |
1 |
|
|a Applied logic series ;
|v volume 29
|
| 650 |
0 |
7 |
|a matematická logika
|7 ph122671
|2 czenas
|
| 650 |
0 |
7 |
|a teorie typů
|2 CZ-BrMU
|
| 650 |
0 |
9 |
|a mathematical logic
|2 eczenas
|
| 650 |
0 |
9 |
|a type theory
|2 eCZ-BrMU
|
| 655 |
|
7 |
|a kolektivní monografie
|7 fd501537
|2 czenas
|
| 655 |
|
9 |
|a collective monographs
|2 eczenas
|
| 700 |
1 |
|
|a Laan, Twan
|4 aut
|
| 700 |
1 |
|
|a Nederpelt, Rob
|4 aut
|
| 830 |
|
0 |
|a Applied logic series ;
|v volume 29
|
| CAT |
|
|
|a RENATA
|b 02
|c 20210616
|l MUB01
|h 1516
|
| CAT |
|
|
|a HOLOUBKOVA
|b 02
|c 20210617
|l MUB01
|h 1305
|
| CAT |
|
|
|a PTICHA
|b 02
|c 20210623
|l MUB01
|h 1011
|
| CAT |
|
|
|c 20210919
|l MUB01
|h 1453
|
| LOW |
|
|
|a POSLANO DO SKCR
|b 2021-09-19
|
| 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 2572103927
|4 Zakázka 2387
|8 20210616
|f 77
|f Dlouhodobá
|r 20210616
|s grant1100
|
| 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
|
