m

F Nous contacter

0

Documents  Association for Symbolic Logic | enregistrements trouvés : 23

O

-A +A

P Q

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

- xii, 220 p.
ISBN 978-0-521-88424-2

Lecture Notes in Logic , 0029

Localisation : Colloque 1er étage (TORI)

logique mathématique # ultrafiltre Hausdorff # tore maximal # théorie des ensembles # théorie constructive # fonction zéta # hypergraphe # groupe permutation # comportement intelligent # cohomologie

00B25 ; 03-06 ; 08A30

... Lire [+]

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

- xiii; 272 p.
ISBN 978-0-521-88425-9

Lecture notes in logic , 0028

Localisation : Colloque 1er étage (ATHE)

logique

03-06 ; 00B25

... Lire [+]

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

- IX-373 p.
ISBN 978-0-521-11081-5

Lectures Notes in Logic , 0032

Localisation : Colloque 1er étage (NIJM)

logique # construction de Hrushovski

03-06 ; 00B25

... Lire [+]

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

- xiii; 267 p.
ISBN 978-0-521-76065-2

Lecture notes in logic

Localisation : Colloque 1er étage (WROC)

logique mathématique # théorie de la preuve # logique formelle

03-06 ; 03Fxx ; 00B25

... Lire [+]

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

- 408 p.
ISBN 978-1-56881-293-9

Lecture notes in logic , 0024

Localisation : Colloque 1er étage (HELS)

logique mathématique

03-06 ; 00B25

... Lire [+]

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


ISBN 978-1-56881-113-0

Lecture notes in logic , 0013

Localisation : Colloque 1er étage (PRAG)

logique # logique mathématique # logique symbolique

03-06

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

- xvi; 176 p.
ISBN 978-0-521-11969-6

Lecture notes in logic , 0034

Localisation : Ouvrage RdC (LERM)

théorie de la preuve # choix # logique formelle # logique mathématique # ensemble recursivement enumerable # problème de Post # retour arrière # dommages finis # dommages infinis

03-02 ; 03D25 ; 03Dxx

... Lire [+]

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

- ix; 543 p.
ISBN 978-1-107-04152-7

Lecture notes in logic , 0047

Localisation : Ouvrage RdC (GROH)

théorie des graphes # logique # calcul complexe # décomposition d'arbres # graphe intégrable

03-02 ; 03D15 ; 03C65 ; 05C99

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

- xi; 445 p.
ISBN 978-0-521-89951-2

Lecture notes in logic , 0031

Localisation : Ouvrage RdC (GAME)

logique # théorie descriptive des ensembles # axiome de détermination

03-06 ; 91-06 ; 00B15 ; 03E15 ; 03E60 ; 91A44

... Lire [+]

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

- xxii; 833 p.
ISBN 978-0-521-76614-2

Perspectives in logic

Localisation : Ouvrage RdC (BARE)

lambda calcul # lambda-calcul simplement typé # type récursif # type intersection

03-00 ; 03B40 ; 03B70

... Lire [+]

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

- xv; 479 p.
ISBN 978-0-521-51729-4

Perspectives in logic

Localisation : Ouvrage RdC (COOK)

complexité des preuves # classes de complexités # théorème du témoignage # principe de réflexion # logique mathématique

03-02 ; 03F07

... Lire [+]

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

- 344 p.
ISBN 978-1-56881-135-2

Localisation : Ouvrage RdC (SHOE)

langage du premier ordre # logique mathématique # réccurence # théorie des ensembles # théorie des modèles

03-01 ; 03B10 ; 03B65 ; 03Bxx ; 03Cxx

... Lire [+]

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

- 135 p.
ISBN 978-1-56881-172-7

Lecture notes in logic , 0014

Localisation : Ouvrage RdC (FAJA)

théorie des modèles # processus stochastique # modèle mathématique non-standard # logique inductive

60G07 ; 03B48 ; 03C98 ; 03H05

... Lire [+]

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

- xiii; 465 p.
ISBN 978-0-521-51769-0

Perspectives in logic

Localisation : Ouvrage RdC (SCHW)

théorie de la démonstration # théorie de la preuve # théorie de la calculabilité # théorème d'incomplétude de Gödel # arithmétique de Peano # récursivité

03-02 ; 03D15 ; 03D65 ; 03F10 ; 03F15 ; 03F35 ; 03F40

... Lire [+]

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

- x; 342 p.
ISBN 978-1-107-04230-8

Perspectives in logic

Localisation : Ouvrage RdC (PARI)

logique # philosophie # rationalité # langage polyadique # conformité # interchangeabilité du spectre # invariance de langage

03-02 ; 03A05 ; 03B48

... Lire [+]

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

- xiii; 268 p.
ISBN 978-1-10701-052-9

Lecture notes in logic

Localisation : Ouvrage RdC (GOLD)

variable # logique modale # sémantique # proposition admissible # logique d'appropriation

03-02 ; 03B45 ; 03B47

... Lire [+]

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

- xiv; 169 p.
ISBN 978-0-521-11955-9

Lecture notes in logic

Localisation : Ouvrage RdC (CASA)

Théorie simple # stabilité # ramification # independance # bases canoniques # élimination des hyperimaginations

03C45 ; 03-02

... Lire [+]

Z