TY  - BOOK
AU  - ARTEMOV, Seigei 
AU  - NERODE, Anil
TI  - Logical Foundations of Computer Science 
SN  - 9783319276823
AV  - QA75.5.A78 
PY  - 2016///
CY  - Switzerland 
PB  - Springer International Publishing 
KW  - Computer Science
ER  -