TY  - BOOK
AU  - Martin Davis
TI  - Computability Complexity and Languages, 2nd edition
SN  - 9780122063824
PB  - Elsevier
UR  - https://www.sciencedirect.com/science/book/9780122063824
ER  -