m

F Nous contacter

0

Documents  03-01 | enregistrements trouvés : 97

O

-A +A

P Q

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

- 286 p.
ISBN 978-0-387-90243-2

Graduate texts in mathematics , 0053

Localisation : Collection 1er étage

logique # logique mathématique # logique symbolique

03-01 ; 03Bxx ; 03Dxx

... Lire [+]

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

- x; 248 p.
ISBN 978-0-521-76324-0

Lecture notes in logic

Localisation : Ouvrage RdC (TENT)

Théorie des modèles # langages et structures du premier ordre # théories stables # théories simples

03-01 ; 03B10 ; 03Cxx

... Lire [+]

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

- 443 p.
ISBN 978-0-387-98655-5

Universitext

Localisation : Ouvrage RdC (POIZ)

bifurcation # dimension de modèles # embranchement # fondement # logique mathématique # rang # saturation # stabilité # théorie de classification # théorie des modèles # théorie transcendentale

03-01 ; 03Cxx

... Lire [+]

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

- 261 p.
ISBN 978-0-387-98412-4

Graduate texts in mathematics , 0180

Localisation : Collection 1er étage

ensemble de Borel # théorie des ensembles # topologie générale # ensemble analytique # sélection # uniformisation

28-01 ; 28A05 ; 03-01 ; 03E15 ; 54H05

... Lire [+]

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

- x; 140 p.
ISBN 978-0-387-76275-3

Universitext

Localisation : Ouvrage RdC (SRIV)

logique # théorème de Gödel # complétude # incomplétude

03-XX ; 03-01

... Lire [+]

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

- ix; 168 p.
ISBN 978-1-10740-048-1

Localisation : Ouvrage RdC (SCHI)

logique mathématique # théorie des ensembles de Zermelo-Fraenkel # axiom du choix # nombre ordinal # nombre cardinal # arbre # filtre # esemble stationnaire # ZFC # espace de Baire # ultra-produit

03-01 ; 03E10 ; 03E30

... Lire [+]

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

- 182 p.
ISBN 978-0-632-01307-4

Computer science texts

Localisation : Ouvrage RdC (RAYW)

calculabilité

03-01 ; 03D15 ; 68Qxx

... Lire [+]

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

- 265 p.
ISBN 978-0-632-01612-9

Computer science texts

Localisation : Ouvrage RdC (DOWS)

logique formelle # programmation logique

03-01 ; 68Qxx

... Lire [+]

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

- xv; 356 p.
ISBN 978-1-4614-3630-0

Localisation : Ouvrage RdC (CUNN)

induction # logique mathématique # théorie des ensembles # démonstration mathématique # enseignement

97E50 ; 97E60 ; 97E30 ; 97E40 ; 03-01 ; 03B05 ; 03F03

... Lire [+]

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

- 356 p.
ISBN 978-0-387-96179-8

Problem books in mathematics

Localisation : Ouvrage RdC (GIND)

00A07 ; 03-01 ; 06-01

... Lire [+]

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

- 372 p.
ISBN 978-90-01-57070-5

Wolters-Noordhoff series of monographs and textbooks on pure and applied mathematics

Localisation : Ouvrage RdC (MALC)

recursion # fonction recursive # problème de mots # algorithme # équantion diophantienne # fonction arithmétique # réductibilité # machine de Turing # théorème de Church # 10ème problème de Hilbert

03Dxx ; 03D20 ; 03-01 ; 03-02 ; 03D45 ; 03D25 ; 03D35 ; 03D10 ; 03D40 ; 03D03 ; 03B25 ; 68W99 ; 11U05 ; 11D99

... Lire [+]

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

- xiv; 361 p.
ISBN 978-0-521-85784-0

Cambridge introductions to philosophy

Localisation : Ouvrage RdC (SMIT)

théorème d'incomplétude de Gödel # logique # histoire des mathématiques # arithmétique # épistémologie

03-01 ; 03-02 ; 03-03 ; 03F30 ; 03F40

... Lire [+]

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

- xiv; 491 p.
ISBN 978-0-486-49785-3

Dover books on mathematics

Localisation : Ouvrage RdC (HODE)

logique mathématique # logique symbolique

03-01

... Lire [+]

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

- xxxii; 613 p.
ISBN 978-0-521-67026-5

Cambridge introductions to philosophy

Localisation : Ouvrage RdC (PRIE)

logique # histoire de la logique # phylosophie # sous-système de la logique classique # logique modale # logique sous-structurelle # logique multi-valuée # logique floue # logique intermédiaire

03-01 ; 03-03 ; 03A05 ; 03B20 ; 03B45 ; 03B47 ; 03B50 ; 03B52 ; 03B55

... Lire [+]

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

- xv; 426 p.
ISBN 978-3-7643-7153-1

Localisation : Ouvrage RdC (AMAN)

approximation polynômiale # convergence de suites # convergence de séries # ensemble # fonction analytique # fonction continue # fonction dérivable # nombre # suite de fonctions # topologie

26-01 ; 26Axx ; 03-01 ; 30-01 ; 40-01 ; 54-01

... Lire [+]

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


ISBN 978-3-540-06522-7

Lecture notes in mathematics , 0354

Localisation : Collection 1er étage

axiome de constructibilité # consistance de l'hypothèse du continu généralisée # grand cardinal en univers constructible # grand cardinal et constructibilité # lemme de condensation # marais de 1-lacune # relative constructibilité # théorie de structure fine de Jensen # théorie des ensembes de Zermelo- Fraenkel # théorie des modèles en univers constructible

03-01 ; 03-02 ; 03Cxx ; 02K99

... Lire [+]

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

- 265 p.

The university series in undergraduate mathematics

Localisation : Ouvrage RdC (SUPP)

théorie des ensembles # théorie axiomatique des ensembles

03-01 ; 03Exx ; 03E30

... Lire [+]

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

- xii; 417 p.
ISBN 978-0-521-77911-1

Cambridge tracts in theoretical computer science , 0043

Localisation : Ouvrage RdC (TROE)

théorie de la démonstration # logique minimale # logique classique # logique intuitioniste # système naturel de déduction # calcul des séquents # normalisation forte # interpolation # logique combinatoire # logique catégorique # théorème de cohérence # logique linéaire # arithmétique de Heyting # résolution # logique modale

03F03 ; 03-02 ; 03-01 ; 03F52 ; 68N17 ; 03F05 ; 03B40 ; 03G30 ; 03B45 ; 03F30 ; 03F35 ; 03B70

... Lire [+]

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

- 116 p.
ISBN 978-0-8218-2731-4

Student mathematical library , 0017

Localisation : Collection 1er étage

généralité # théorie des ensembles

03-01 ; 03Exx

... Lire [+]

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

- 256 p.
ISBN 978-0-19-856861-2

Oxford logic guides , 0049

Localisation : Ouvrage RDC (AWOD)

catégorie # logique # dualité # foncteur # catégorie de diagramme

18-01 ; 03-01 ; 03G30 ; 18A25

... Lire [+]

Z