Davis, Martin.

Computability and unsolvability / Martin Davis. - New York : McGraw-Hill book company, 1958. - 210 p. : ill. ; 25 cm.


Information technology

511 / DAC 1958