*001148097
*00520250613104941.0
*007ta
*008150428s1973 gw 000 u und d
*00901414cam a22003371c 4500
*019 $bl
*020 $a0387063455
*020 $a3540063455
*035 $a(EXLNZ-47BIBSYS_NETWORK)999213468834702201
*035 $a(NO-LaBS)13393466(bibid)
*035 $a(NO-TrBIB)921346883
*035 $a921346883-47bibsys_network
*040 $aNO-TrBIB$bnob$ekatreg
*084 $a02$2msc
*1001 $aBüchi, J. Richard$0(NO-TrBIB)90393937$_37218600
*24514$aThe monadic second order theory of all countable ordinals$cJ. Richard Büchi, Dirk Siefkes
*260 $aBerlin$bSpringer$c1973
*300 $aVI, 217 s.
*490 $aDecidable theories$v2
*4901 $aLecture notes in mathematics$v328
*650 0$aGödel's theorem$_34211700
*650 0$aModel theory$_37218700
*7001 $aMüller, Gert H.$0(NO-TrBIB)90324732$_37218800
*7001 $aSiefkes, Dirk$0(NO-TrBIB)90393938$_37218900
*7760 $tDecidable Theories II : The Monadic Second Order Theory of All Countable Ordinals$w991145578294702201
*830 $aDecidable theories$v2$_171925600
*830 0$aLecture notes in mathematics$v328$_13174700
*85642$3Innholdsfortegnelse$uhttps://contents.bibs.aws.unit.no/?isbn=9783540063452
*85642$3Miniatyrbilde$uhttps://contents.bibs.aws.unit.no/files/images/small/2/5/9783540063452.jpg$qimage/jpeg
*85642$3Omslagsbilde$uhttps://contents.bibs.aws.unit.no/files/images/large/2/5/9783540063452.jpg$qimage/jpeg
*901 $a70
*999 $aoai:nb.bibsys.no:999213468834702202$b2021-11-14T19:52:18Z$z999213468834702202
^
