1
by Davis, Martin
Published 2018
CRC Press
... began it all. Written by Martin Davis, respected logician and researcher in the theory of computation...