m

Documents  Baaz, Matthias | enregistrements trouvés : 1

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- vi-287 p.
ISBN 978-94-007-0319-3

Trends in logic , 34

Localisation : Ouvrage RdC (BAAZ)

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

03-02 ; 03F05 ; 03B35

... Lire [+]

Filtrer

Auteurs
Référence
Codes MSC
Date de parution

Titres de périodiques et e-books électroniques (Depuis le CIRM)

Ressources Electroniques

Books & Print journals

Recherche avancée


0
Z