m
     
Ouvrage

H 0 Proof theory and logical complexity,vol. 1

Girard, Jean-Yves (Principal)

Bibliopolis

1987

978-88-7088-123-3

00013201

03F20 ; 03Fxx

complexite # logique # theorie de la preuve

Ville d'édition : Napoli

Langue : Anglais

EAN13 : 9788870881233

ISBN : 88-7088-123-7

Collation : 24 cm ; 503 p. ; Bibliogr. ; Index ; rel.

Collection : Studies in proof theory

Localisation : Disparu

Type d'ouvrage : Monographie

Disponibilité : Disparu


Exemplaires

Cote Code barre Commentaire
1 00013201 D2006
Disparu 2005
D2004
D 2003

[non empruntable]
Z