|
|
|
|
| LEADER |
02352nam a22006017i 4500 |
| 001 |
MUB01006464805 |
| 003 |
CZ BrMU |
| 005 |
20200617070349.0 |
| 008 |
200608t20112011xxk||||| |||||||||||eng d |
| STA |
|
|
|a POSLANO DO SKCR
|b 2020-09-21
|
| 020 |
|
|
|a 978-0-85729-120-2
|
| 040 |
|
|
|a BOD001
|b cze
|e rda
|
| 072 |
|
7 |
|a 510
|x Obecné úvahy o matematice
|2 Konspekt
|9 13
|
| 080 |
|
|
|a 510.635
|2 MRF
|
| 080 |
|
|
|a 510.5
|2 MRF
|
| 080 |
|
|
|a 51:168.3
|2 MRF
|
| 080 |
|
|
|a 510.57
|2 MRF
|
| 080 |
|
|
|a (075.8)
|2 MRF
|
| 100 |
1 |
|
|a Dowek, Gilles,
|d 1966-2025
|7 mub20201077037
|4 aut
|
| 245 |
1 |
0 |
|a Proofs and algorithms :
|b an introduction to logic and computability /
|c Gilles Dowek
|
| 264 |
|
1 |
|a London :
|b Springer,
|c [2011]
|
| 264 |
|
4 |
|c ©2011
|
| 300 |
|
|
|a xii, 155 stran :
|b ilustrace
|
| 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 Undergraduate topics in computer science,
|x 1863-7310
|
| 650 |
0 |
7 |
|a algoritmy
|7 ph114026
|2 czenas
|
| 650 |
0 |
7 |
|a matematické důkazy
|7 ph307639
|2 czenas
|
| 650 |
0 |
7 |
|a predikátová logika
|7 ph124584
|2 czenas
|
| 650 |
0 |
7 |
|a teorie vyčíslitelnosti
|7 ph678150
|2 czenas
|
| 650 |
0 |
9 |
|a algorithms
|2 eczenas
|
| 650 |
0 |
9 |
|a computability theory
|2 eczenas
|
| 650 |
0 |
9 |
|a mathematical proofs
|2 eczenas
|
| 650 |
0 |
9 |
|a predicate calculus
|2 eczenas
|
| 655 |
|
7 |
|a učebnice vysokých škol
|7 fd133772
|2 czenas
|
| 655 |
|
9 |
|a textbooks (higher)
|2 eczenas
|
| 830 |
|
0 |
|a Undergraduate topics in computer science,
|x 1863-7310
|
| CAT |
|
|
|a RENATA
|b 02
|c 20200608
|l MUB01
|h 1134
|
| CAT |
|
|
|a BEHANOVA
|b 02
|c 20200610
|l MUB01
|h 1600
|
| CAT |
|
|
|a BEHANOVA
|b 02
|c 20200610
|l MUB01
|h 1627
|
| CAT |
|
|
|a BEHANOVA
|b 02
|c 20200610
|l MUB01
|h 1652
|
| CAT |
|
|
|a BART
|b 02
|c 20200615
|l MUB01
|h 0945
|
| CAT |
|
|
|a BART
|b 02
|c 20200617
|l MUB01
|h 0703
|
| CAT |
|
|
|c 20200921
|l MUB01
|h 1102
|
| CAT |
|
|
|c 20210614
|l MUB01
|h 1037
|
| CAT |
|
|
|c 20210614
|l MUB01
|h 2023
|
| CAT |
|
|
|a BATCH
|b 00
|c 20210724
|l MUB01
|h 1318
|
| CAT |
|
|
|a BATCH-UPD
|b 00
|c 20250731
|l MUB01
|h 2352
|
| LOW |
|
|
|a POSLANO DO SKCR
|b 2020-09-21
|
| 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 2572003234
|4 Zakázka 2387
|8 20200608
|f 77
|f Dlouhodobá
|r 20200608
|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
|
