Davis,, Martin,, 1928-
Computability & unsolvability / Martin Davis
Computability & unsolvability / Martin Davis
. - New York : Dover Publications, 1982
. - XXV, 248 p. 22 cm
. - (McGraw-Hill series in information processing and computers)
0-486-61471-9 (Brochado)
510.5