m

F Nous contacter

0

Documents  Critères de recherche : "Intuitionism" | enregistrements trouvés : 9

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 [+]

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

- 331 p.
ISBN 978-0-19-850524-2

Oxford logic guides , 0039

Localisation : Ouvrage RdC (DUMM)

élément d'intuitionisme

... Lire [+]

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


ISBN 978-0-8218-4520-2

Translations of mathematical monographs , 0067

Localisation : Collection 1er étage

logique # logique mathematique # logique symbolique # mathematique intuitive

03F55

... Lire [+]

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

- 73 p.

Ergebnisse der mathematik und ihrer grenzgebiete , 0004

Localisation : Réserve

00A30 ; 03-XX ; 03AXX

... Lire [+]

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

- 73 p.
ISBN 978-3-540-06298-1

Ergebnisse der mathematik und ihrer grenzgebiete , 0004

Localisation : Ouvrage RdC (HEYT)

Reprod. en fac. sim. de l'edit. de 1934

00A30 ; 03-XX ; 03AXX

... Lire [+]

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

- 243 p.

Localisation : Ouvrage RdC (GONS)

00A30 ; 03-XX ; 03A05 ; 83-XX

... Lire [+]

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

- 146 p.
ISBN 978-0-7204-2239-9

Studies in logic and the foundations of mathematics

Localisation : Ouvrage RdC (HEYT)

00A30 ; 03-XX ; 03AXX

... Lire [+]

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

- 467 p.
ISBN 978-0-19-853158-6

Oxford logic guides

Localisation : Ouvrage RdC (DUMM)

formalisation # logique intuitioniste # mathématique intuitioniste # preuve constructive # suite de choix

03F50 ; 03F55 ; 03F60 ; 03F65

... Lire [+]

Z