Davis, Martin

Computability and Unsolvability - New York Mac Graw-Hill 1958 - 210p

--General Stack


Recursive functions --Mathematics--Mathematical logicComputable functionsUnsolvability

511.35 / DAV-C