En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK
1

Proofs and computations

Sélection Signaler une erreur
Ouvrage

Schwichtenberg, Helmut (Principal) ; Wainer, Stanley S. (Co-auteur)

Cambridge University Press;Association for Symbolic Logic

2012

xiii; 465 p.

978-0-521-51769-0

00038776

03-02 ; 03D15 ; 03D65 ; 03F10 ; 03F15 ; 03F35 ; 03F40

théorie de la démonstration # théorie de la preuve # théorie de la calculabilité # théorème d'incomplétude de Gödel # arithmétique de Peano # récursivité

Ville d'édition : Cambridge ; New York ; Poughkeepsie

Pays d'édition : Grande-Bretagne ; États-Unis

Langue : Anglais

EAN13 : 9780521517690

Collation : 24 cm#rel.#bibliogr.#index

Collection : Perspectives in logic

Localisation : Ouvrage RdC (SCHW)

Type d'ouvrage : Monographie

Disponibilité : empruntable

Niveau d'autorisation : Public


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00038776

[disponible]
Sélection Signaler une erreur