m

F Nous contacter

0

Documents  Toledo, Sue | enregistrements trouvés : 1

O
     

-A +A

P Q

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


ISBN 978-3-540-07149-5

Lecture notes in mathematics , 0447

Localisation : Collection 1er étage

2ème preuve de consistance de Gentzen # analyse # introduction de répétition # logique du 2ème ordre # procédure de traduction # système d'ordre supérieur dû à Schütte # système de Schütte à partie positive ou négative # système de tableau # théorie des nombres du 1er ordre # théorie des nombres intuitioniste # élimination de coupure

03-02 ; 03A05 ; 03B15 ; 03C60 ; 03F99

... Lire [+]

Filtrer

Auteurs
Référence
Codes MSC
Date de parution

Ressources Electroniques (Depuis le CIRM)

Books & Print journals

Recherche avancée


0
Z