m
     
Congrès

H 0 The L.E.J. brouwer centenary symposium
proceedings of a conference
June 8-13

Troelstra, A. S. (Editeur) ; Van Dalen, D. (Editeur)

North-Holland Publishing Co.

1982

978-0-444-86494-9

00006138

03Fxx

Brouwer # arithmétique intuitioniste # axiome de choix dénombrable # calcul synthétique # constructivité # couverture de Freyd # définition inductive monotone # entaille de Friedman # espace formel # foncteur lisse # fonction constructive # lambda calcul typé pur # logique constructive # modèle constructif # modèle non standard # méthode non récursive # projection de suite sans loi # règle d'induction barre # signification # suite de choix # théorie de l'approximation constructive # théorie des ensembles constructibles # théorie des nombres algébriques # théorème barre # théorème de l'éventail # topos collant

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

Pays d'édition : Pays-Bas

Langue : Anglais

EAN13 : 9780444864949

ISBN : 0-444-86494-6

Collation : 523 p. ; Bibliogr. ; broch.

Collection : Studies in logic and the foundations of mathematics

N° de collection : 0110

Localisation : Colloque 1er étage (NOOR)

Année de la rencontre : 1981

Ville du congrès : Noordwijkerhout

Pays du congrès : Pays-Bas

Type Congrès : Congrès

Disponibilité : empruntable


Exemplaires

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