TY  - BOOK
AU  - Hou, Zhe
TI  - Fundamentals of Logic and Computation
SN  - 9783030878818
U1  - 511.3 
PY  - 2021///
PB  - Springer
KW  - Computer Science
ER  -