m

F Nous contacter

0
     
Ouvrage

H 0 Tableau systems for first order number theory and certain higher order theories

Toledo, Sue (Principal)

Springer-Verlag

1975

978-3-540-07149-5

00020494

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

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

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00020494 [disponible]
Z