Advances in logic - Gao Su ed.; North Texas Logic Conference; North Texas logic conference Denton, Texas 8-10 Oct 2004 (Providence AMS, 2007)
Keywords: Mathematical logic; Symbolic logic