LEADER 01302nam a22003135i 4500 001 991002234069707536 007 cr nn 008mamaa 008 121227s1973 gw | s |||| 0|eng d 020 $a9783540469469 035 $ab14142132-39ule_inst 040 $aBibl. Dip.le Aggr. Matematica e Fisica - Sez. Matematica$beng 082 04$a510$223 084 $aAMS 03B25 100 1 $aBuchi, J. Richard$056716 245 10$aDecidable theories II$h[e-book] :$bthe monadic second order theory of all countable ordinals /$cby J. Richard Buchi, Dirk Siefkes ; edited by G. H. Muller, D. Siefkes 260 $aBerlin :$bSpringer,$c1973 300 $a1 online resource (viii, 224 p.) 440 0$aLecture Notes in Mathematics,$x0075-8434 ;$v328 650 0$aMathematics 700 1 $aSiefkes, Dirk$eauthor$4http://id.loc.gov/vocabulary/relators/aut$057138 700 1 $aMuller, G. H. 700 1 $aSiefkes, D.$eauthor$4http://id.loc.gov/vocabulary/relators/aut$0732487 773 0 $aSpringer eBooks 856 40$uhttp://dx.doi.org/10.1007/BFb0082720$zAn electronic book accessible through the World Wide Web 907 $a.b14142132$b03-03-22$c05-09-13 912 $a991002234069707536 996 $aDecidable theories II$91443159 997 $aUNISALENTO 998 $ale013$b05-09-13$cm$d@ $e-$feng$ggw $h0$i0