|
|
|
|
| LEADER |
01801nam a22004577i 4500 |
| 001 |
MUB01006509504 |
| 003 |
CZ BrMU |
| 005 |
20221019143408.0 |
| 008 |
221014s2021 xxk||||| |||||||||||eng d |
| STA |
|
|
|a POSLANO DO SKCR
|b 2023-01-02
|
| 020 |
|
|
|a 978-0-19-289594-3
|q (pbk.)
|
| 020 |
|
|
|a 978-0-19-289593-6
|q (hbk.)
|
| 040 |
|
|
|a BOD001
|b cze
|e rda
|
| 072 |
|
7 |
|a 16
|x Logika
|2 Konspekt
|9 5
|
| 080 |
|
|
|a 168.3
|2 MRF
|
| 080 |
|
|
|a (075.8)
|2 MRF
|
| 080 |
|
|
|a (048.8:082)
|2 MRF
|
| 100 |
1 |
|
|a Mancosu, Paolo,
|d 1960-
|7 xx0203312
|4 aut
|
| 245 |
1 |
3 |
|a An introduction to proof theory :
|b normalization, cult-elimination, and consistency proofs /
|c Paolo Mancosu, Sergio Galvan, Richard Zach
|
| 250 |
|
|
|a First edition
|
| 264 |
|
1 |
|a Oxford :
|b Oxford University Press,
|c 2021
|
| 300 |
|
|
|a xii, 418 stran
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a bez média
|b n
|2 rdamedia
|
| 338 |
|
|
|a svazek
|b nc
|2 rdacarrier
|
| 650 |
0 |
7 |
|a teorie důkazu
|7 ph126551
|2 czenas
|
| 650 |
0 |
9 |
|a proof theory
|2 eczenas
|
| 655 |
|
7 |
|a učebnice vysokých škol
|7 fd133772
|2 czenas
|
| 655 |
|
7 |
|a kolektivní monografie
|7 fd501537
|2 czenas
|
| 655 |
|
9 |
|a textbooks (higher)
|2 eczenas
|
| 655 |
|
9 |
|a collective monographs
|2 eczenas
|
| 700 |
1 |
|
|a Galvan, Sergio,
|d 1946-
|4 aut
|
| 700 |
1 |
|
|a Zach, Richard
|4 aut
|
| CAT |
|
|
|a HARNUSEK
|b 02
|c 20221014
|l MUB01
|h 1356
|
| CAT |
|
|
|a HOLOUBKOVA
|b 02
|c 20221019
|l MUB01
|h 0922
|
| CAT |
|
|
|a PTICHA
|b 02
|c 20221019
|l MUB01
|h 1434
|
| CAT |
|
|
|c 20230102
|l MUB01
|h 1031
|
| LOW |
|
|
|a POSLANO DO SKCR
|b 2023-01-02
|
| 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 2572208055
|4 Zakázka 2805
|8 20221014
|f 77
|f Dlouhodobá
|r 20221014
|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 1
|j VYBER
|
