m
     
MathOuvrage

H 0 Arithmetic, proof theory, and computational complexity

Clote, Peter (Ed.) ; Krajicek, Jan (Ed.)

Clarendon Press

1993

xii, 428 p. ; 24 cm

36649

théorie de la preuve ; complexité algorithmique


Exemplaires

Nbre d'exemplaires : 1
Inventaire Code barre Localisation
1 36649 1004641 GALERIE

ISBN10 : 0-19-853690-9

Type de doc : A

Ville d'édition : Oxford

Pays d'édition : gb

Langue ouvrage : eng

Collection : Oxford logic guides

N° dans la collection : 23

ISSN Collection : 0953-1173

Bibliographie : Notes bibliogr.

Class. Math. 1991 : 03-06 ; 03F03 ; 03F20

Class. Library : QA9.54.A75

N° LCCCN : 92-41659

Class. Dewey : 511.3

Lien SUDOC : https://www.sudoc.fr/015943178

Z