Documents

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

Lecture notes in mathematics

Cote : M/A1(1220)
ISBN/ISSN : 3-540-17185-1

algèbre de Lie ; anneau local ; anneau semi-local ; formule de Künneth ; logique algébrique

... Lire [+]

Sélection

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

Lecture notes in mathematics

Cote : M/A1(1149)
ISBN/ISSN : 3-540-15691-7

logique algébrique ; structure algébrique ; structure mathématique ; système algébrique général ; treillis

... Lire [+]

Sélection

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

Lecture notes in mathematics

Cote : M/A1(1104)
ISBN/ISSN : 3-540-13901-X

ensemble ; logique algébrique ; modèle ; modèle non standard

... Lire [+]

Sélection

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

Lecture notes in mathematics

Cote : M/A1(1103)
ISBN/ISSN : 3-540-13900-1

ensemble ; logique algébrique ; modèle ; modèle non standard

... Lire [+]

Sélection

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

Lecture notes in mathematics

Cote : M/A1(859)
ISBN/ISSN : 3-540-10708-8

logique ; logique algébrique ; mathématique constructive ; modèle ; récurrence

... Lire [+]

Sélection

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

Lecture notes in mathematics

Cote : M/A1(834)
ISBN/ISSN : 3-540-10269-8

logique algébrique ; modèle

... Lire [+]

Sélection

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

Séminaire de mathématiques supérieures

Cote : LEBLANC r

algèbre p-adique ; logique algébrique ; nombre

... Lire [+]

Sélection

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

V

Memoirs of the American Mathematical Society (Memoirs of the AMS)

Cote : M/A4(866)
ISBN/ISSN : 0-8218-4149-1

logique algébrique ; logique d'ordre 1 ; semi-groupe

... Lire [+]

Sélection

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

V

Universitext

Cote : MAC LANE s
ISBN/ISSN : 0-387-97710-4

faisceau ; logique algébrique ; préfaisceau ; topologie de Grothendieck ; topose

... Lire [+]

Sélection

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

V

Memoirs of the American Mathematical Society (Memoirs of the AMS)

Cote : M/A4(396)
ISBN/ISSN : 0-8218-2459-7

logique algébrique

... Lire [+]

Sélection

Documents logique algébrique 16 résultats

Séminaire d'algèbre Paul Dubreil et Marie-Paule Malliavin Malliavin, Marie-Paule ; Dubreil, Paul | Springer 1986 Nouveau

Universal algebra and lattice theory Comer, Stephen D. | Springer 1985 Nouveau

Computation and proof theory : Vol. 2 Richter, Michael M. ; Borger, Egon ; Oberschelp, Walter | Springer 1984 Nouveau

Models and sets : Vol. 1 Müller, Gert Heinz ; Richter, Michael M. | Springer 1984 Nouveau

Logic year 1979-80 Lerman, M. ; Schmerl, J. H. ; Soare, R. I. | Springer 1981 Nouveau

Model theory of algebra and arithmetic Pacholski, L. ; Wierzejewski, J. ; Wilkie, A. J. | Springer 1980 Nouveau

Représentabilité et définissabilité dans les algèbres transformationnelles et dans les algèbres polyadiques Leblanc, Léon | Les presses de l'Université de Montréal 1966 Nouveau

Semigroups underlying first-order logic Craig, William | AMS 2006 Nouveau

Sheaves in geometry and logic : a first introduction to topos theory Mac Lane, Saunders ; Moerdijk, Ieke | Springer 1992 Nouveau

Algebraizable logics Blok, W. J. ; Pigozzi, Don | AMS 1989 Nouveau