m

Documents  Critères de recherche : "Intuitionism and proof theory" | enregistrements trouvés : 2

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Lecture notes in mathematics , 0095

Localisation : Collection 1er étage

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 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 # ...

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

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 516 p.

Studies in logic and the foundations of mathematics

Localisation : Colloque 1er étage (BUFF)

logique # théorie de la démonstration # intuition # théorie de Church # théorie de quantification # théorie de Cohen # théorie de Brouwer # théorie de Gentzen # théorie de Herbrand

03-06 ; 03Bxx ; 03Fxx ; 00B25

... Lire [+]

Z