Documents

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(23)

algèbre de Boole ; fonction pseudo-booléenne

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

Cambridge studies in advanced mathematics

Cote : LAMBEK i
ISBN/ISSN : 0-521-35653-9

algèbre homologique ; catégorie ; logique algébrique

... Lire [+]

Sélection

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

V

Ergebnisse der Mathematik und ihrer Grenzgebiete

Cote : HAKIM t
ISBN/ISSN : 3-540-05573-8

algèbre homologique ; catégorie ; géométrie ; logique algébrique ; schéma ; topose

... Lire [+]

Sélection

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

V

Cote : RIEGER a

logique ; logique algébrique

... Lire [+]

Sélection

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

V

Cote : HALMOS a

logique algébrique ; théorie monadique

... Lire [+]

Sélection

Documents 03Gxx 9 résultats

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

Pseudo-Boolean methods for bivalent programming : Lecture at the first european meeting of the Institute of Management Sciences and of the Econometric Institute Ivanescu, Petru L. ; Rudeanu, Sergiu | Springer 1966 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

Introduction to higher order categorical logic Lambek, Joachim ; Scott, P. J. | Cambridge university press 1986 Nouveau

Topos annelés et schémas relatifs Hakim, Monique | Springer 1972 Nouveau

Algebraic methods of mathematical logic Rieger, Ladislav ; Basch, Michal | Academia Publishing House of the Czechoslovak Academy of Sciences 1967 Nouveau

Algebraic logic Halmos, Paul R. | Chelsea 1962 Nouveau