analyse constructive ou de type loi # arithmétique # bon ordonnancement et ordinal # espace métrique séparable # espèce # intuitionisme # logique # nombre réel # objet de type loi # ordre sur droite réelle # principe de compréhension # principe de continuité # relation ordonnante # suite # suite de choix # suite sans loi des nombres naturels # théorie de Brower du suject créatif # théorie de la preuve # théorème de l'éventail # topologie # étendue

Ville d'édition : Berlin ; Heidelberg ; N.Y.

Pays d'édition : Allemagne RFA

Langue : Anglais

Collation : 111 p. ; 28 cm ; Bibliogr. ; rel.

Collection : Lecture notes in mathematics

N° de collection : 0095

Localisation : Collection 1er étage

Notes : 6 volumes reliés ensemble L20214 à L20219

Année de la rencontre : 1968

Ville du congrès : N.Y.

Pays du congrès : États-Unis

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires