TY  - BOOK
AU  - Gao Su ed.
ED  - North Texas Logic Conference
ED  - North Texas logic conference
TI  - Advances in logic
SN  - 978-0-8218-3819-8
U1  - 510 
PY  - 2007///
CY  - Providence
PB  - AMS
KW  - Mathematical logic
KW  - Symbolic logic
ER  -