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