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

Exemplaires