Formal semantics in modern type theories /
Uloženo v:
| Hlavní autoři: | , |
|---|---|
| Typ dokumentu: | Kniha |
| Jazyk: | Angličtina |
| Vydáno: |
London :
ISTE,
2020
|
| Vydání: | First published |
| Edice: | Logic linguistics and computer science set ;
volume 2 Cognitive science series |
| Témata: |
| LEADER | 01912nam a22005177i 4500 | ||
|---|---|---|---|
| 001 | MUB01006538902 | ||
| 003 | CZ BrMU | ||
| 005 | 20240524085446.0 | ||
| 008 | 240516s2020 xxk||||| |||||||||||eng d | ||
| STA | |a POSLANO DO SKCR |b 2024-07-15 | ||
| 020 | |a 978-1-78630-128-4 | ||
| 040 | |a BOD001 |b cze |e rda | ||
| 072 | 7 | |a 16 |x Logika |2 Konspekt |9 5 | |
| 080 | |a 16 |2 MRF | ||
| 080 | |a 81'37 |2 MRF | ||
| 080 | |a 161.15:81'37 |2 MRF | ||
| 080 | |a (048.8) |2 MRF | ||
| 100 | 1 | |a Chatzikyriakidis, Stergios |4 aut | |
| 245 | 1 | 0 | |a Formal semantics in modern type theories / |c Stergios Chatzikyriakidis, Zhaohui Luo |
| 250 | |a First published | ||
| 264 | 1 | |a London : |b ISTE, |c 2020 | |
| 300 | |a xiii, 229 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 Logic linguistics and computer science set ; |v volume 2 | |
| 490 | 1 | |a Cognitive science series | |
| 650 | 0 | 7 | |a logika |7 ph122436 |2 czenas |
| 650 | 0 | 7 | |a sémantika |7 ph117272 |2 czenas |
| 650 | 0 | 7 | |a logická sémantika |7 ph172905 |2 czenas |
| 650 | 0 | 9 | |a logic |2 eczenas |
| 650 | 0 | 9 | |a semantics |2 eczenas |
| 650 | 0 | 9 | |a logical semantics |2 eczenas |
| 655 | 7 | |a monografie |7 fd132842 |2 czenas | |
| 655 | 9 | |a monographs |2 eczenas | |
| 700 | 1 | |a Luo, Zhaohui |4 aut | |
| 830 | 0 | |a Logic linguistics and computer science set ; |v volume 2 | |
| 830 | 0 | |a Cognitive science series | |
| CAT | |a HARNUSEK |b 02 |c 20240516 |l MUB01 |h 1551 | ||
| CAT | |a SVOBODOVA |b 02 |c 20240521 |l MUB01 |h 0843 | ||
| CAT | |a PTICHA |b 02 |c 20240524 |l MUB01 |h 0854 | ||
| CAT | |c 20240715 |l MUB01 |h 1018 | ||
| LOW | |a POSLANO DO SKCR |b 2024-07-15 | ||
| 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 2572403863 |4 Zakázka 2844 |8 20240516 |f 77 |f Dlouhodobá |r 20240516 |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 | ||