TY  - BOOK
AU  - Li Wei
TI  - Mathematical logic: foundations for information science
SN  - 978-3-7643-9976-4
U1  - 511.3 
PY  - 2010///
CY  - Basel
PB  - Birkhauser Verlag
KW  - Mathematical logic
KW  - Symbolic logic
ER  -