m
     
Ouvrage

H 0 Methods of cut-elimination

Baaz, Matthias (Principal) ; Leitsch, Alexander (Co-auteur)

Springer

2011

vi-287 p.

978-94-007-0319-3

00037432

03-02 ; 03F05 ; 03B35

théorie de la preuve # théorie de la démontration # élimination des coupures # méthode CERES

Langue : Anglais

EAN13 : 9789400703193

Collation : 24 cm#rel.#bibliogr.#index

Collection : Trends in logic

N° de collection : 34

Localisation : Ouvrage RdC (BAAZ)

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00037432

[disponible]
Z