TY  - BOOK
AU  - Lu Zhongwan
TI  - Mathematical Logic for Computer Science 2nd Edition
SN  - 9789812817075
PB  - World Scientific
KW  - Computer Science
UR  - https://www.worldscientific.com/worldscibooks/10.1142/3434#t=toc
ER  -