LEADER 01226nam0-2200397---450-
001 990008566590403321
005 20081104133241.0
010   $a978-0-8218-3819-8
035   $a000856659
035   $aFED01000856659
035   $a(Aleph)000856659FED01
035   $a000856659
100   $a20071018d2007----km-y0itay50------ba
101 0 $aeng
102   $aUS
105   $aa---a---101yy
200 1 $aAdvances in logic$ethe North Texas Logic Conference, october 8-10, 2004, University of North Texas, Denton, Texas$fSu Gao, Steve Jackson, Yi Zhang editors
210   $aProvidence$cAmerican Mathematical Society$dc2007
215   $avii, 150 p.$cill.$d24 cm
225 1 $aContemporary mathematics$v425
610 0 $aLogica$aSimbolica$aCongressi
610 0 $aTeoria dei modelli
676   $a511.3$v22
702  1$aGao,$bSu
702  1$aJackson,$bSteve
702  1$aZhang,$bYi
710 12$aNorth Texas Logic Conference$f<2004 ;$eUniversity of North Texas>$0310897
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990008566590403321
952   $aC-1-(425$b22132$fMA1
959   $aMA1
962   $a03C52
962   $a52C20
996   $aAdvances in logic$9711656
997   $aUNINA