Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 444 p.
ISBN 978-1-56881-170-3
Lecture notes in logic , 0015
Localisation : Colloque 1er étage (STAN)
logique # fondement des mathématiques # philosophie des mathématiques # théorie auto-adaptive # calcul # preuve # analyse théorique
00B25 ; 03-06 ; 00A30 ; 00B30
... 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.
- x; 238 p.
ISBN 978-1-107-60407-0
London mathematical society lecture note series , 0403
Localisation : Collection 1er étage
analyse numérique # traitement de données
00B25 ; 20B40 ; 57N25 ; 65-06 ; 76D05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 286 p.
ISBN 978-0-19-875244-8
Localisation : Ouvrage RdC (GIAQ)
philosophie des mathématiques # logique # paradoxe de classe # théorie axiomatique des ensembles # programme de Hilbert # théorème d'indérivabilité de Gödel
03A05 ; 00A30
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 424 p.
ISBN 978-0-521-77034-7
Encyclopedia of mathematics and its applications , 0082
Localisation : Collection 1er étage
logique mathématique # fondement des mathématiques # théorie des ensembles # théorie classique # philosophie des mathématiques # épistémologie # ensemble ordonné # nombre naturel # théorie euclidienne des ensembles # théorie cantorienne des ensembles
03B30 ; 00A30 ; 03A05 ; 03E30 ; 03E70
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 741 p.
Studies in logic and the foundations of mathematics
Localisation : Ouvrage RdC (BETH)
axiomatique # fonction recursive # fondement des mathématiques # logique # théorie des ensembles # épistémologie
03-03 ; 03A05 ; 03B30 ; 03Dxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 206 p.
Studies in logic and the foundations of mathematics
Localisation : Ouvrage RdC (KLEE)
analyse intuitive # continuum intuitif # logique # logique formelle # ordre de continu # postulat # réalisabilité # système formel
03A50 ; 03B20 ; 03Bxx ; 04A30
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 204 p.
ISBN 978-0-262-73017-4
Localisation : Ouvrage RdC (WITT)
fondement des mathématiques # logique # philosophie des mathématiques
00A30 ; 01A75
... 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.
- 305 p.
Localisation : Ouvrage RdC (WILD)
philosophie # Fondement mathématiques # Axiomatique # Ensemble # Théorie de l'infini # Bon ordre # Nombre ordinal # Théorie de Frege-Russell # Intuitionnisme # Système formel # Logique de Hilbert # Théorie de consistance # Epistémologie mathématiques
03-01 ; 00A05 ; 00A30
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 158 p.
ISBN 978-0-444-87834-2
Studies in logic and the foundations of mathematics , 0117
Localisation : Ouvrage RdC (H)
03Dxx ; 03Fxx
... 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.
- 351 p.
Localisation : Ouvrage RdC (Essa)
L3863 # l3864 du fonds G. Julia # l8036 du fonds S. Mandelbrojt
00A30 ; 03-02
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 186 p.
ISBN 978-90-277-0814-4
Mathematics and its applications
Localisation : Ouvrage RdC (KUYK)
histoire et bibliographie # histoire générale # logique et fondation #histoire des mathématiques et des mathématiciens
00A30
... Lire [+]
