Type(s) de contenu et mode(s) de consultation : Texte noté : sans médiation

Auteur(s) : Davis, Martin (1928-2023)  Voir les notices liées en tant qu'auteur

Titre(s) : Computability and unsolvability [Texte imprimé] / Martin Davis,...

Publication : New York : Dover publ., cop. 1982

Description matérielle : XXV-248 p. : couv. ill. en coul. ; 22 cm

Collection : Dover books on advanced mathematics

Lien à la collection : Dover books on advanced mathematics  Voir toutes les notices liées

Note(s) : Bibliogr. p.234-241. Index

Sujet(s) : Fonctions récursives  Voir les notices liées en tant que sujet
Fonctions calculables  Voir les notices liées en tant que sujet

Indice(s) Dewey :  511.352 (23e éd.) = Fonctions récursives  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 0-486-61471-9

Identifiant de la notice  : ark:/12148/cb37365046m

Notice n° :  FRBNF37365046