@BOOK{ Book!D - 101391001,
AUTHOR = "Su Gao, Steve Jackson, Yi Zhang, editors",
TITLE = "Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas",
LIBRARY= "کتابخانه پژوهشگاه دانشهای بنیادی",
SUBJECT = "Congresses ، Logic, Symbolic and mathematical",
URL = "/book/101391001/Advances-in-logic-the-North-Texas-Logic-Conferen/"}