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 [+]
