m

Documents  Critères de recherche : "The foundations of mathematics" | enregistrements trouvés : 14

O
     

-A +A

P Q

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

Localisation : Colloque 1er étage (COLU)

00A30 ; 03-06 ; 03A05

... Lire [+]

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.

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

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

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.

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

- 549 p.
ISBN 978-0-262-52093-5

Localisation : Ouvrage RdC (Fund)

11-02 ; 11Axx ; 11Rxx ; 12-02 ; 14G30

... Lire [+]

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.

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

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

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

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

- xiv; 370 p.
ISBN 978-0-8176-8384-9

Localisation : Ouvrage RdC (SOBC)

espace de vecteurs # matrice # structure d'opérateur linéaire # forme quadratique # espace de produit intérieur hermitien # géométrie de plans mobiles # relativité spéciale # intégration # géométrie projective # groupe de Lie # algèbre de Lie

11A05 ; 15A18 ; 15A21 ; 15A63 ; 15A66 ; 15A69 ; 15A75 ; 17B45 ; 22E60 ; 51N10 ; 51N15 ; 53A04 ; 53A05 ; 53A30 ; 58A05 ; 65D05 ; 83A05 ; 20B30

... Lire [+]

Z