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.
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.
- 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 [+]
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.
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.
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.
- 331 p.
ISBN 978-0-19-850524-2
Oxford logic guides , 0039
Localisation : Ouvrage RdC (DUMM)
élément d'intuitionisme
... Lire [+]