Tableau systems for first order number theory and certain higher order theories
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
Ville d'édition : Berlin ; Heidelberg ; N.Y.
Pays d'édition : Allemagne RDA
Langue : Anglais
EAN13 : 9783540071495
ISBN : 3-540-07149-0
Collation : 24 cm ; 339 p. ; Bibliogr. ; rel.
Collection : Lecture notes in mathematics
N° de collection : 0447
Localisation : Collection 1er étage
Type d'ouvrage : Monographie
Disponibilité : empruntable
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00020494 | [disponible] |