TY  - BOOK
AU  - Arkoudas, Konstantine
TI  - Fundamental proof methods in Computer Science
SN  - 9780262035538
PY  - 2017///
CY  - Cambridge
PB  - The MIT Press
KW  - Theoretical Computer Science
ER  -