Li, Wei
Mathematical logic : foundations for information science
Basel : Birkhäuser, 2014. xiv, 301 p. -- (Progress in computer science and applied logic ; vol. 25)
QA9 L48 2014