Proofs and computations
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
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
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00038776 | [disponible] |