m
     
Ouvrage

H 0 Arithmetic, proof theory, and computational complexity

Clote, Peter (Editeur) ; Krajicek, Jan (Editeur)

Clarendon Press

1993

428 p.

978-0-19-853690-1

00016833

03D15 ; 03Fxx ; 68Q15 ; 68Q40 ; 68Rxx

arithmétique # arithmétique bornée # calcul symbolique # complexité du calcul informatique # mathématique discrète # théorie de la preuve

Ville d'édition : Oxford

Pays d'édition : Grande-Bretagne

Langue : Anglais

EAN13 : 9780198536901

ISBN : 0-19-853690-9

Collation : 24 cm ; Bibliogr. ; rel.

Collection : Oxford logic guides

N° de collection : 0023

Localisation : Ouvrage RdC (Arit)

Type d'ouvrage : Anonyme

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00016833 [disponible]
Z