01683nam a2200421 i 4500991002739769707536070801s2007 riua b 100 0 eng d08218381999780821838198b13572921-39ule_instDip.to Matematicaeng511.322AMS 03C52AMS 03D25AMS 03D35AMS 03D80AMS 03E05AMS 03E15AMS 03E60AMS 05C12AMS 52C20LC QA9.A1N67North Texas Logic Conference<2004 ;University of North Texas>310897Advances in logic :the North Texas logic conference, October 8-10, 2004, University of North Texas, Denton, Texas /Su Gao, Steve Jackson, Yi Zhang, editorsProvidence, R. I. :American Mathematical Society,c2007vii, 150 p. :ill. ;26 cmContemporary mathematics,0271-4132 ;425Includes bibliographical referencesLogic, Symbolic and mathematicalCongressesGao, Suauthorhttp://id.loc.gov/vocabulary/relators/aut310895Jackson, Steveauthorhttp://id.loc.gov/vocabulary/relators/aut271992Zhang, Yiauthorhttp://id.loc.gov/vocabulary/relators/aut352473.b1357292128-01-1401-08-07991002739769707536LE013 03C GAO11 (2007)12013000206172le013pE42.47-l- 01010.i1456660627-09-07Advances in logic1451361UNISALENTOle01301-08-07ma -engriu00