m
     
Congrès

H 0 Principales of intuitionism
lectures presented at the summer conference on intuitionism and proof theory at Suny Buffalo

Troelstra, A. S. (Principal)

Springer-Verlag

1969

00020216

03F35 ; 03Fxx ; 11Bxx ; 54D65 ; 54E35

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


Exemplaires

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