Finite model theory /

Uloženo v:
Podrobná bibliografie
Hlavní autoři: Ebbinghaus, Heinz-Dieter, 1939- (Autor), Flum, Jörg, 1944- (Autor)
Typ dokumentu: Kniha
Jazyk:Němčina
Vydáno: Berlin ; New York : Springer, 1999
Vydání:Second revised and enlarged
Edice:Springer monographs in mathematics,
Témata:
teorie modelů
model theory
monografie
monographs
Obálka Obsah Přejít na ObalkyKnih.cz
LEADER 01914nam a22004817i 4500
001 MUB01006403190
003 CZ BrMU
005 20180411083022.0
008 171020s1999 gw ||||| |||||||||||ger d
STA |a POSLANO DO SKCR  |b 2017-11-13 
020 |a 3-540-28787-6  |z 978-3-540-28787-2 
040 |a BOD004  |b cze  |e rda 
072 7 |a 510  |x Obecné úvahy o matematice  |2 Konspekt  |9 13 
080 |a 510.67  |2 MRF 
080 |a (048.8)  |2 MRF 
100 1 |a Ebbinghaus, Heinz-Dieter,  |d 1939-  |7 kup20010000024185  |4 aut 
245 1 0 |a Finite model theory /  |c Heinz-Dieter Ebbinghaus, Jörg Flum 
250 |a Second revised and enlarged 
264 1 |a Berlin ;  |a New York :  |b Springer,  |c 1999 
300 |a xi, 360 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 Springer monographs in mathematics,  |x 1439-7382 
504 |a Obsahuje bibliografie a rejstřík 
650 0 7 |a teorie modelů  |7 ph799924  |2 czenas 
650 0 9 |a model theory  |2 eczenas 
655 7 |a monografie  |7 fd132842  |2 czenas 
655 9 |a monographs  |2 eczenas 
700 1 |a Flum, Jörg,  |d 1944-  |7 vut2012681790  |4 aut 
830 0 |a Springer monographs in mathematics,  |x 1439-7382 
CAT |a DRIMLOVA  |b 02  |c 20171020  |l MUB01  |h 0942 
CAT |a JANA  |b 02  |c 20171023  |l MUB01  |h 0849 
CAT |c 20171113  |l MUB01  |h 0947 
CAT |a CERVINKOVX  |b 02  |c 20180407  |l MUB01  |h 1723 
CAT |a DRIMLOVA  |b 02  |c 20180411  |l MUB01  |h 0830 
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-11-13 
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-EBBI  |5 3145371567  |8 20171020  |f 77  |f Dlouhodobá  |q 20190605  |r 20171020  |s kup 
AVA |a SCI50  |b PRIF  |c ÚK volný výběr - M  |d 510.6-EBBI  |e unavailable  |t Není k dispozici  |f 1  |g 1  |h N  |i 0  |j PRVMA 

Podobné jednotky