m
     
MathOuvrage

H 0 Handbook of proof theory

Buss, Samuel R. (Ed.)

North-Holland

1998

vii, 811 p. ; 23 cm

9780444898401

45508

théorie de la preuve ; preuve probabilistement vérifiable


Exemplaires

Nbre d'exemplaires : 1
Inventaire Code barre Localisation
1 45508 1036760 GALERIE REF HAND
*Don M. Eytan

ISBN10 : 0-444-89840-9

Type de doc : A

Ville d'édition : Amsterdam

Pays d'édition : nl

Langue ouvrage : eng

Collection : Studies in logic and the foundations of mathematics

N° dans la collection : 137

ISSN Collection : 0049-237X

Bibliographie : Notes bibliogr.

Class. Math. 2000 : 03Fxx ; 03-06

Class. Library : QA9.54.H35

N° LCCCN : 98-18922

Class. Dewey : 511.3

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

Z