Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 84 p.
ISBN 978-0-8405-0080-9
SMS(Séminaire de Mathématiques Supérieures) , 0020
Localisation : Salle de manutention
algèbre logique # axiomatisabilité finie # extension et restriction logiques # formule logique # homogénéité logique # interprétabilité libre # isomorphisme local # multirelation # opérateur libre # prédicat # quanteur # relation homogène # relation monomorphe # relation riche # théorie des relations # âge
03B30 ; 03Gxx ; 04A05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-444-87999-8
Studies in logic and the foundations of mathematics , 0120
Localisation : Colloque 1er étage (MANC)
axiomatique # logiq ue modale # logique # logique com binatoire # logique mathematiques # logique symbolique # recursivite # theorie des sembles
03-06 ; 03B30 ; 03Bxx ; 03Cxx ; 03D10
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 440 p.
ISBN 978-0-7204-2235-1
Studies in logic and the foundations of mathematics
Localisation : Colloque 1er étage (JERU)
03A05 ; 03B30
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 318 p.
ISBN 978-0-8218-1041-5
American mathematical society colloquium publications , 0041
Localisation : Collection 1er étage
logique # logique mathématique # logique symbolique # théorie d'ensembles
03B30 ; 03Bxx ; 03C05 ; 03E30 ; 03G15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 517 p.
ISBN 978-2-7056-6024-6
Localisation : Ouvrage RdC (DIEU)
1700- 1900 # 18 ème siècle # 1840 # algèbre et géométrie # analyse fonctionnelle # analyse mathématique # axiomatique et logique # fonction analytique # fonction elliptique # fondement de l'analyse # géométrie différentielle # intégrale abélienne # théorie des nombres # topologie
01A50 ; 01A55 ; 01A60 ; 03B30 ; 11-03
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 379 p.
Mathematische lehrbücher und monographien , 0010
Localisation : Ouvrage RdC (KLAUA)
algèbre de classe # axiomatiquqe # ensemble fini # fondement # logique # nombres cardinaux # nombres ordinaux # relation d'ordre # structure algébrique
00A30 ; 03B30 ; 03E10 ; 06Fxx ; 08A40
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xix; 523 p.
ISBN 978-3-540-77532-4
Springer monographs in mathematics
Localisation : Ouvrage RdC (KOHL)
logique # théorie de la démonstration # fonctionnelle de Gödel # appoximation par des polynômes # unicité de la meilleure approximation # théorie du point fixe
03F03 ; 03F10 ; 03B30 ; 41A10 ; 41A52 ; 47H09 ; 47H99
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 120 p.
ISBN 978-90-6196-147-5
Mathematical centre tracts , 0083
Localisation : Collection 1er étage
axiomatique # calcul lambda # fondements de la logique classique # informatique # langage formel # langage naturel # logique mathématiques # traitement
03-04 ; 03B30 ; 03B40 ; 68-04 ; 69F05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 235 p.
Mathematical research = mathematische forschung , 0003
Localisation : Ouvrage RdC (Deci)
03B30
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- viii; 197 p.
ISBN 978-1-107-01451-0
Lecture notes in logic
Localisation : Ouvrage RdC (EFFE)
théorie des modèles # algèbre commutative # algèbre différentielle # théorie des graphes # théorie des ensembles
03-06 ; 03B30 ; 03C57 ; 03Dxx ; 03E15 ; 00B25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xxvii; 447 p.
ISBN 978-3-03719-196-5
IRMA lectures in mathematics and theoretical physics , 0029
Localisation : Ouvrage RdC (EIGH)
géométrie non-euclidéenne # géométrie sphérique # géométrie hyperbolique # géométrie de type Busemann # courbure # application géométrique # zone non-euclidéenne # formule de Brahmagupta # théorème de Ptolémée # théorème de Casey # formule de Sforza # problème de Seidel # rigidité infime # rigidité statique # application de Pogorelov # correspondance de Maxwell-Cremona # géométrie hyperbolique extérieure # géométrie de Sitter # conique non-euclidéenne # propriété bifocale # propriété focus-dirextrix # crayon de conique # géométrie projective # convexité # dualité # transition # trigonométrie hermitienne # trigonométrie projective complexe # forme invariante # plan métrique # plan projectif
géométrie non-euclidéenne # géométrie sphérique # géométrie hyperbolique # géométrie de type Busemann # courbure # application géométrique # zone non-euclidéenne # formule de Brahmagupta # théorème de Ptolémée # théorème de Casey # formule de Sforza # problème de Seidel # rigidité infime # rigidité statique # application de Pogorelov # correspondance de Maxwell-Cremona # géométrie hyperbolique extérieure # géométrie de Sitter # conique ...
03B30 ; 51A05 ; 51F15 ; 51F20 ; 51M04 ; 51M05 ; 51M09 ; 51M10 ; 51M16 ; 51M20 ; 51M25 ; 51N15 ; 52A15 ; 52A55 ; 52B15 ; 52C25 ; 05C62 ; 53-01 ; 53A05 ; 53A30 ; 53A35 ; 53C35 ; 53C45
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 127 p.
International series on monographs in pure and applied mathematics , 0031
Localisation : Ouvrage RdC (LUKA)
axiomatique # fondement # logique mathématique # prédicat # quantificateur # règle d'inférence # syllogisme d'Aristote # épistémologie
03-01 ; 03A05 ; 03B30 ; 03Bxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 294 p.
ISBN 978-0-306-11062-7
Siberian school of algebra and logic
Localisation : Ouvrage RdC (PERE)
logique mathématique # théorie axiomatique
03B30 ; 03Bxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 473 p.
Grundlehren der mathematischen wissenschaften , 0040
Localisation : Collection 1er étage;Réserve
addition # calcul des prédicats # fondement des mathématiques # induction # logique axiomatique # logique formelle # multiplication # représ entation formelle # récursivité # soustraction # système axiomatique # théorie de la récursion # théorie des nombres
03-03 ; 03B30 ; 03Bxx ; 11-03 ; 11-XX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 561 p.
Grundlehren der mathematischen wissenschaften
Localisation : Collection 1er étage
arithmétique # calcul des prédicats # fondement des mathématiques # logique formelle # logique mathématique # logique symbolique
03-XX ; 03B30
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Die grundleren der mathematischen wissenschaften , 0050
Localisation : Réserve
arithmétique # calcul des prédicats # fondement des mathématiques # logique formelle # logique mathématique # logique symbolique
03-XX ; 03B30
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 188 p.
Grundlehren der mathematischen wissenschaften , 0027
Localisation : Collection 1er étage
calcul des prédicats # calcul logique de classe # fondement de la logique
03-03 ; 03B30 ; 03Bxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xxv; 893 p.
ISBN 978-1-138-19901-9
Discrete mathematics and its applications
Localisation : Ouvrage RdC (GUND)
induction # théorie de la démonstration # inégalité # propriété de divisibilité # théorie des graphes # théorie de Ramsey
00A05 ; 00A07 ; 03-01 ; 05-01 ; 11-01 ; 03B30
... 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.
- v; 101 p.
ISBN 978-1-4704-2657-6
Memoirs of the American Mathematical Society , 1187
Localisation : Collection 1er étage
mathématiques inversées # théorie du modèle calculable # modèle atomique # modèle homogène
03B30 ; 03C07 ; 03C15 ; 03C50 ; 03C57 ; 03D45 ; 03F30 ; 03F35
... Lire [+]