Computability and unsolvability /

Davis, Martin, 1928-.

Computability and unsolvability / Martin Davis. - New York : Dover, 1982. - 248 p. ; 22 cm.

Incluye bibliografia.

0-486-61471-9

QA9.615 / D58

Con tecnología Koha