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

Auteur(s) : Epstein, Richard L.  Voir les notices liées en tant qu'auteur
Carnielli, Walter Alexandre (1952-....)  Voir les notices liées en tant qu'auteur

Titre(s) : Computability [Texte imprimé] : computable functions, logic and the foundations of mathematics ; with Computability and undecidability-a timeline... / Richard L. Epstein, Walter A. Carnielli

Édition : 2nd ed

Publication : Belmont (Calif.) : Wadsworth/Thomson Learning, cop. 2000

Description matérielle : 299-38 p. : ill. ; 24 cm

Note(s) : Notes bibliogr. à la fin de chaque chap. Bibliogr p. 273-280, p. 29-38. Index

Sujet(s) : Fonctions calculables -- Informatique  Voir les notices liées en tant que sujet
Logique mathématique  Voir les notices liées en tant que sujet

Indice(s) Dewey :  004.015 1 (23e éd.) = Informatique - Principes mathématiques  Voir les notices liées en tant que sujet ; 519.7 (23e éd.) = Programmation (mathématiques)  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 0-534-54644-7 (br.)

Identifiant de la notice  : ark:/12148/cb38953791v

Notice n° :  FRBNF38953791