מרטין דייוויס

Computability & unsolvability / Martin Davis. - 1958