Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-444-86876-3
Studies in logic and the foundations of mathematics , 0112
Localisation : Colloque 1er étage (FLOR)
NP # PA # logique # modèle de lambda calcul # modèle lambda filtre # modèle nonstandard de l'arithmétique # objet non-constructif # phrase logique # problème de décision # saturation forte # structure de type étendu # sémantique à valeur Heyting # théorie des modèles en informatique théorique # théorème d'interpolation de Craig # vérité continue
03-06 ; 03C35 ; 03C40 ; 03Cxx ; 03H15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 146 p.
ISBN 978-0-19-853186-9
Oxford logic guides , 0008
Localisation : Ouvrage RdC (PILL)
catégoricité # logique # théorie de la classification # théorie de la stabilité # théorie des catégories # théorie des modèles # théorie mathématique, logique # théorème de Baldwin-Lachlan # théorème de Morley
03C07 ; 03C35 ; 03C45 ; 03C60 ; 03Cxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 293 p.
ISBN 978-0-521-24665-1
Cambridge studies in advanced mathematics , 0007
Localisation : Ouvrage RdC (LAMB)
catégorie # logique # logique mathématiques
03B15 ; 03B40 ; 03C35
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 554 p.
ISBN 978-0-7204-2273-3
Studies in logic and foundations of mathematics , 0073
Localisation : Ouvrage RdC (CHAN)
catégoricité # logique des sentences # modèle saturé # théorie des modèles # théorème de Ramsey # ultraproduit
03C20 ; 03C35 ; 03C50 ; 03Cxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 772 p.
ISBN 978-0-521-30442-9
Encyclopedia of mathematics and its applications , 0042
Localisation : Collection 1er étage;Réserve
catégoricité # définissabilité # forcing # interpolation # modèle non classique # préservation # rigidité # récursivité # saturation # stabilité # structure finie # théo rie des modèles # ultraproduit # élimination d"un quantificateur
03C25 ; 03C35 ; 03C40 ; 03C50 ; 03Cxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 347 p.
ISBN 978-2-225-84079-1
Axiomes
Localisation : Ouvrage RdC (CORI)
algèbre de Boole # calcul des prédicats # calcul proportionnel # logique mathématique # théorème de complétude
03B05 ; 03C35 ; 03G05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-8218-4586-8
Translations of mathematical monographs , 0117
Localisation : Collection 1er étage
catégorie # structure catégorique # structure globale # théorie des modèles # théorème de complétude
03-02 ; 03C35 ; 03C60 ; 05B25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 284 p.
Studies in logic
Localisation : Ouvrage RdC (ROBI)
calcul des prédicats # complétude # définabilité # métamathématique de l'algèbre # théorie algébrique # théorie des modèles # théorie métamathématique des idéaux # théorie métamathématique des variétés
03C35 ; 03C40 ; 03Cxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 129 p.
ISBN 978-0-7204-0690-0
Studies in logic and the foundations of mathematics
Localisation : Ouvrage RdC (ROBI)
complétion # groupe complet en modèles et corps # théorie complète # théorème de Gödel # transformée syntactique
03C35 ; 03Cxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 544 p.
ISBN 978-0-7204-0757-0
Studies in logic and the foundations of mathematics , 0092
Localisation : Ouvrage RdC (SHEL)
classification # modèle non isomorphe # saturé # théorie de modèle # ultra-produit
03C20 ; 03C35 ; 03C45 ; 03C50 ; 03Cxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Lecture notes in mathematics , 0120
Localisation : Collection 1er étage
arithmétique du successeur de second ordre monadique de Büch # calcul séquentiel SC # dérivation # preuve du théorème de forme normale # processus infini # procédure de décision # variable de prédicat libre # variable individuelle libre
03B25 ; 03C35 ; 03D05 ; 20F10
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-8218-0623-4
Memoirs of the american mathematical society , 0623
Localisation : Collection 1er étage
automorphisme # groupe de permutation # relation d'ensemble # relation intermédiaire # structure algébrique ordonnée
03C35 ; 06A06 ; 08A02 ; 20B07 ; 20E08
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 285 p.
ISBN 978-0-8218-2984-4
Contemporary mathematics , 0302
Localisation : Collection 1er étage
théorie des modèles # modèle arithmétique # logique # théorie des ensembles # algèbre # caractéristique cardinal du continuum # hypothèse du continuum # classification # groupe simple # groupe symétrique # solution de Shelah # théorie complète omega-stable # structure pseudo-analytique # méthode de Hrushoski
03E17 ; 03E35 ; 03E50 ; 03C35 ; 03C45 ; 03C60 ; 03C62 ; 20E32 ; 20B30 ; 03C98
... 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.
- 193 p.
ISBN 978-0-691-11331-9
Annals of mathematics studies , 0152
Localisation : Ouvrage RdC (CHER)
groupe de permutation # structure finie # théorie des modèles # géométrie finie # théorie des groupes # enveloppe # stabilité # géométrie de Lie
03Cxx ; 03C13 ; 03C35 ; 03C45 ; 03C50 ; 03C60 ; 20B27
... 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.
- xv, 183 p.
ISBN 978-0-691-04955-7
Localisation : Loisir RdC
récréation mathématique # roman # thriller # logique # arithmétique # pythagore # catégories
00A08 ; 00A05 ; 01A20 ; 03C35
... Lire [+]
