|
|
|
|
| LEADER |
01882nam a22005177i 4500 |
| 001 |
MUB01006394204 |
| 003 |
CZ BrMU |
| 005 |
20221003094040.0 |
| 008 |
170614t20152015xxk||||| |||||||||||eng d |
| STA |
|
|
|a POSLANO DO SKCR
|b 2017-10-08
|
| 020 |
|
|
|a 978-1-84890-183-4
|
| 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 161.26
|2 MRF
|
| 080 |
|
|
|a 510.643
|2 MRF
|
| 080 |
|
|
|a (048.8)
|2 MRF
|
| 100 |
1 |
|
|a Francez, Nissim,
|d 1944-
|7 ntk20221163964
|4 aut
|
| 245 |
1 |
0 |
|a Proof-theoretic semantics /
|c Nissim Francez
|
| 264 |
|
1 |
|a [London] :
|b College Publications,
|c [2015]
|
| 264 |
|
4 |
|c ©2015
|
| 300 |
|
|
|a xx, 415 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 Studies in logic ;
|v volume 57
|
| 650 |
0 |
7 |
|a modální logika
|7 ph137160
|2 czenas
|
| 650 |
0 |
7 |
|a teorie důkazu
|7 ph126551
|2 czenas
|
| 650 |
0 |
9 |
|a modal logic
|2 eczenas
|
| 650 |
0 |
9 |
|a proof theory
|2 eczenas
|
| 655 |
|
7 |
|a monografie
|7 fd132842
|2 czenas
|
| 655 |
|
9 |
|a monographs
|2 eczenas
|
| 830 |
|
0 |
|a Studies in logic ;
|v volume 57
|
| CAT |
|
|
|a RENATA
|b 02
|c 20170614
|l MUB01
|h 0933
|
| CAT |
|
|
|a SVOBODOVA
|b 02
|c 20170616
|l MUB01
|h 0652
|
| CAT |
|
|
|a PTICHA
|b 02
|c 20170619
|l MUB01
|h 0926
|
| CAT |
|
|
|c 20171008
|l MUB01
|h 1001
|
| CAT |
|
|
|a CERVINKOVX
|b 02
|c 20180505
|l MUB01
|h 1250
|
| CAT |
|
|
|c 20210614
|l MUB01
|h 1024
|
| CAT |
|
|
|c 20210614
|l MUB01
|h 2011
|
| CAT |
|
|
|a BATCH
|b 00
|c 20210724
|l MUB01
|h 1254
|
| CAT |
|
|
|a VACOVAX
|b 02
|c 20221003
|l MUB01
|h 0940
|
| LOW |
|
|
|a POSLANO DO SKCR
|b 2017-10-08
|
| 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 2571707333
|4 Zakázka 2111
|8 20170614
|f 77
|f Dlouhodobá
|r 20170614
|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
|
