01226nam0-2200397---450-99000856659040332120081104133241.0978-0-8218-3819-8000856659FED01000856659(Aleph)000856659FED0100085665920071018d2007----km-y0itay50------baengUSa---a---101yyAdvances in logicthe North Texas Logic Conference, october 8-10, 2004, University of North Texas, Denton, TexasSu Gao, Steve Jackson, Yi Zhang editorsProvidenceAmerican Mathematical Societyc2007vii, 150 p.ill.24 cmContemporary mathematics425LogicaSimbolicaCongressiTeoria dei modelli511.322Gao,SuJackson,SteveZhang,YiNorth Texas Logic Conference<2004 ;University of North Texas>310897ITUNINARICAUNIMARCBK990008566590403321C-1-(42522132MA1MA103C5252C20Advances in logic711656UNINA