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