Computability & Unsolvability / Martin Davis .

Davis, Martin, 1928- (Visualizza in formato Marc21)

Record Nr.: 73942 Pubblicazione: New York : Dover, 1982 Descrizione fisica: xxv, 248 p. ; 20 cm Titolo uniforme di collana: Dover books on mathematics. Note: Contiene indice. Nota di bibliografia: "References": p. 237-241. Soggetto topico: Logica matematica Elaborazione automatica dei dati ISBN: 0486614719 Livello bibliografico Monografia Formato: Materiale a stampa Lingua di pubblicazione: Inglese