Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas /
North Texas Logic Conference(2004 :University of North Texas)
Gao, Su,1968-
Jackson, Steve,1957-
Zhang, Yi,1964 August 22-
Providence, R.I. : American Mathematical Society,
c2007.
Includes bibliographical references.
Logic, Symbolic and mathematical