Proofs and algorithms : an introduction to logic and computability

Proofs and algorithms : an introduction to logic and computability

Enregistré dans:
Détails bibliographiques
Auteur principal : Dowek Gilles (Auteur)
Format : Livre
Langue : anglais
Titre complet : Proofs and algorithms : an introduction to logic and computability / Gilles Dowek
Publié : London : Springer , cop. 2011
Description matérielle : 1 vol. (XII-155 p.)
Collection : Undergraduate Topics in Computer Science
Sujets :
Théorie de la démonstration
Fonctions calculables
Documents associés : Devient: Undergraduate topics in computer science (Print)
Autre format: Proofs and Algorithms

Bib. CRDM (Mathématiques)

Informations d'exemplaires de Bib. CRDM (Mathématiques)
‌ Cote Prêt Statut
Bibliothèque 68C413 Prêt sans prolongation Disponible