m
     
Congrès

H 0 Proceeding of the Herbrand symposium
proceedings of the Herbrand symposium
July 16-24

Stern, J. (Editeur)

North-Holland Publishing Co.

1982

978-0-444-86417-8

00005204

03-06 ; 03Fxx

arbre homogène # digraphe # dilatateur récursif # déduction # ensemble de Borel # ensemble dénombrable récursivement # foncteur # hiérarchie projective ou analytique # itération d'admissibilité # jardin # logique du premier ordre # logique mathématique # logique symbolique # modèle # ordinal de Bachmann Howard # polynome en somme de carré # propriété locale ou non locale # théorie de la preuve # théorie des nombres # théorie superstable # théorème de Girard # théorème de Herbrand # théorème de Ramsey # théorème de finitude # vérité

Ville d'édition : Amsterdam ; N.Y. ; Oxford

Pays d'édition : Pays-Bas

Langue : Anglais

EAN13 : 9780444864178

ISBN : 0-444-86417-2

Collation : 23 cm ; 384 p. ; rel.

Collection : Studies in logic and the foundations of mathematics

N° de collection : 0107

Localisation : Colloque 1er étage (MARS)

Année de la rencontre : 1981

Ville du congrès : Marseille

Pays du congrès : France

Type Congrès : Congrès

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 C/MARS/1981 00005204 [disponible]
Z