Elements of finite model theory /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Libkin, Leonid, 1965- (Autor)
Typ dokumentu: Kniha
Jazyk:Němčina
Vydáno: Berlin : Springer-Verlag, [2004]
Edice:Texts in theoretical computer science
Témata:
LEADER 01793nam a22004817i 4500
001 MUB01006404621
003 CZ BrMU
005 20171108105929.0
008 171108t20042004gw ||||| |||||||||||ger d
STA |a POSLANO DO SKCR  |b 2017-12-11 
020 |a 978-3-642-05948-3 
040 |a BOD004  |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 510.67  |2 MRF 
080 |a (048.8)  |2 MRF 
100 1 |a Libkin, Leonid,  |d 1965-  |7 xx0032599  |4 aut 
245 1 0 |a Elements of finite model theory /  |c Leonid Libkin 
264 1 |a Berlin :  |b Springer-Verlag,  |c [2004] 
264 4 |c ©2004 
300 |a xiv, 315 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 Texts in theoretical computer science 
504 |a Obsahuje bibliografii a rejstřík 
650 0 7 |a matematická logika  |7 ph122671  |2 czenas 
650 0 7 |a teorie modelů  |7 ph799924  |2 czenas 
650 0 9 |a mathematical logic  |2 eczenas 
650 0 9 |a model theory  |2 eczenas 
655 7 |a monografie  |7 fd132842  |2 czenas 
655 9 |a monographs  |2 eczenas 
830 0 |a Texts in theoretical computer science 
CAT |a DRIMLOVA  |b 02  |c 20171108  |l MUB01  |h 1025 
CAT |a JANA  |b 02  |c 20171108  |l MUB01  |h 1059 
CAT |c 20171211  |l MUB01  |h 1018 
CAT |c 20210614  |l MUB01  |h 1026 
CAT |c 20210614  |l MUB01  |h 2012 
CAT |a BATCH  |b 00  |c 20210724  |l MUB01  |h 1257 
LOW |a POSLANO DO SKCR  |b 2017-12-11 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 PRIF  |a Přírodovědecká fakulta  |2 PRVMA  |b ÚK volný výběr - M  |3 510.6-LIBK  |5 3145371909  |8 20171108  |f 77  |f Dlouhodobá  |q 20190605  |r 20171108  |s kup 
AVA |a SCI50  |b PRIF  |c ÚK volný výběr - M  |d 510.6-LIBK  |e unavailable  |t Není k dispozici  |f 1  |g 1  |h N  |i 0  |j PRVMA