Books

Short works

Books : reviews

Martin Davis.
Computability and Unsolvability.
McGraw-Hill. 1958