TY  - BOOK
AU  - Li,Wei
TI  - Mathematical logic: foundations for information science
T2  - Progress in computer science and applied logic
SN  - 9783764399764
U1  - 511.3 
PY  - 2010///
CY  - Basel
PB  - Birkhäuser
KW  - Logic, Symbolic and mathematical
N1  - Includes bibliographical references and index
ER  -