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