TY  - BOOK
AU  - Li Wei
TI  - mathematical logic : Foundations for information science
U1  - R14, Q0 
PY  - 2010///
CY  - Basel
PB  - Birkhauser       
KW  - Mathematics
ER  -