IRMA - Documents

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

théorie des modèles ; théorie des ensembles ; logique algébrique ; logique

... Lire [+]

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

structure ; logique algébrique ; algèbre universelle

... Lire [+]

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

logique algébrique ; algèbre non commutative

... Lire [+]

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

logique algébrique ; représentation induite ; forme normale ; logique

... Lire [+]

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

treillis distributif ; quasi-variété d'algèbres ; dualité ; logique algébrique ; espace de Boole ; algèbre de Boole ; algèbre monadique de Heyting ; algèbre de de Morgan

... Lire [+]

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

logique algébrique ; algèbre de Boole ; probabilité

... Lire [+]

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

logique algébrique

... Lire [+]

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

logique algébrique

... Lire [+]

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

logique algébrique ; logique symbolique ; logique mathématique

... Lire [+]

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

logique algébrique

... Lire [+]

Simple sur les ouvrages

Avancée sur les ouvrages

Recherche multi-critères

Simple sur les revues

Avancée sur les revues

Bibliothèques de mathématique et de l'IREM

Documents logique algébrique | enregistrements trouvés : 10

Models and sets part 1 Ed. Mueller, Gert H. ; Ed. Richter, Michael M.. -Berlin : Springer , 1984 . - viii, 484
https://doi.org/10.1007/BFb0099377
Nouveau

Residuated structures in algebra and logic Metcalfe, George ; Paoli, Francesco ; Tsinakis, Constantine. -Providence RI : American mathematical Society , 2023 . - xiii, 265 p. ; 26 cm
ISBN 9781470469856
Nouveau

Non-commutative multiple-valued logic algebras Ciungu, Lavinia Corina. -Cham : Springer , 2013 . - xiv, 276 p. ; 24 cm
ISBN 9783319015880
https://link.springer.com/bookseries/3733
Nouveau

Semigroups underlying first-order logic Craig, William. -Providence RI : American mathematical Society , 2006 . - xxv, 263 p. ; 26 cm
ISBN 9780821841495
Nouveau

Natural dualities for the working algebraist Clark, David M. ; Davey, Brian A.. -Cambridge : Cambridge university Press , 1998 . - xii, 356 p. ; 24 cm
Nouveau

Sentential probability logic : Origins, dévelopment, current status, and technical applications Hailperin, Theodore. -London : Associated university presses , 1996 . - 304 p. ; 24 cm
ISBN 9780934223454
Nouveau

Algebraizable logics Blok, W.J. ; Pigozzi, D.. -Providence RI : American mathematical Society , 1989 . - v, 78 p.
Nouveau

Algebraic logic Gindikin, Simon G.. -Berlin : Springer , 1985 . - xviii, 356
https://link.springer.com/bookseries/714
Nouveau

An Algebraic introduction to mathematical logic Barnes, D.W. ; Mack, J.M.. -Berlin : Springer , 1975 . - viii, 121
http://www.numir.org.scd-rproxy.u-strasbg.fr/articles/articles.php?cat=7 ; https://link.springer.com/openurl.asp?genre=journal&issn=0072-5285
Nouveau

The Calculi of lambda-conversion Church, Alonzo. -Princeton : Princeton university Press , 1941 . - 82
Nouveau

Simple sur les ouvrages

Avancée sur les ouvrages

Recherche multi-critères

Simple sur les revues

Avancée sur les revues

Bibliothèques de mathématique et de l'IREM

Documents logique algébrique | enregistrements trouvés : 10

Models and sets part 1 Ed. Mueller, Gert H. ; Ed. Richter, Michael M.. -Berlin : Springer , 1984 . - viii, 484 https://doi.org/10.1007/BFb0099377 Nouveau

Residuated structures in algebra and logic Metcalfe, George ; Paoli, Francesco ; Tsinakis, Constantine. -Providence RI : American mathematical Society , 2023 . - xiii, 265 p. ; 26 cm ISBN 9781470469856 Nouveau

Non-commutative multiple-valued logic algebras Ciungu, Lavinia Corina. -Cham : Springer , 2013 . - xiv, 276 p. ; 24 cm ISBN 9783319015880 https://link.springer.com/bookseries/3733 Nouveau

Semigroups underlying first-order logic Craig, William. -Providence RI : American mathematical Society , 2006 . - xxv, 263 p. ; 26 cm ISBN 9780821841495 Nouveau

Natural dualities for the working algebraist Clark, David M. ; Davey, Brian A.. -Cambridge : Cambridge university Press , 1998 . - xii, 356 p. ; 24 cm Nouveau

Sentential probability logic : Origins, dévelopment, current status, and technical applications Hailperin, Theodore. -London : Associated university presses , 1996 . - 304 p. ; 24 cm ISBN 9780934223454 Nouveau

Algebraizable logics Blok, W.J. ; Pigozzi, D.. -Providence RI : American mathematical Society , 1989 . - v, 78 p. Nouveau

Algebraic logic Gindikin, Simon G.. -Berlin : Springer , 1985 . - xviii, 356 https://link.springer.com/bookseries/714 Nouveau

An Algebraic introduction to mathematical logic Barnes, D.W. ; Mack, J.M.. -Berlin : Springer , 1975 . - viii, 121 http://www.numir.org.scd-rproxy.u-strasbg.fr/articles/articles.php?cat=7 ; https://link.springer.com/openurl.asp?genre=journal&issn=0072-5285 Nouveau

The Calculi of lambda-conversion Church, Alonzo. -Princeton : Princeton university Press , 1941 . - 82 Nouveau

Models and sets part 1 Ed. Mueller, Gert H. ; Ed. Richter, Michael M.. -Berlin : Springer , 1984 . - viii, 484
https://doi.org/10.1007/BFb0099377
Nouveau

Residuated structures in algebra and logic Metcalfe, George ; Paoli, Francesco ; Tsinakis, Constantine. -Providence RI : American mathematical Society , 2023 . - xiii, 265 p. ; 26 cm
ISBN 9781470469856
Nouveau

Non-commutative multiple-valued logic algebras Ciungu, Lavinia Corina. -Cham : Springer , 2013 . - xiv, 276 p. ; 24 cm
ISBN 9783319015880
https://link.springer.com/bookseries/3733
Nouveau

Semigroups underlying first-order logic Craig, William. -Providence RI : American mathematical Society , 2006 . - xxv, 263 p. ; 26 cm
ISBN 9780821841495
Nouveau

Natural dualities for the working algebraist Clark, David M. ; Davey, Brian A.. -Cambridge : Cambridge university Press , 1998 . - xii, 356 p. ; 24 cm
Nouveau

Sentential probability logic : Origins, dévelopment, current status, and technical applications Hailperin, Theodore. -London : Associated university presses , 1996 . - 304 p. ; 24 cm
ISBN 9780934223454
Nouveau

Algebraizable logics Blok, W.J. ; Pigozzi, D.. -Providence RI : American mathematical Society , 1989 . - v, 78 p.
Nouveau

Algebraic logic Gindikin, Simon G.. -Berlin : Springer , 1985 . - xviii, 356
https://link.springer.com/bookseries/714
Nouveau

An Algebraic introduction to mathematical logic Barnes, D.W. ; Mack, J.M.. -Berlin : Springer , 1975 . - viii, 121
http://www.numir.org.scd-rproxy.u-strasbg.fr/articles/articles.php?cat=7 ; https://link.springer.com/openurl.asp?genre=journal&issn=0072-5285
Nouveau

The Calculi of lambda-conversion Church, Alonzo. -Princeton : Princeton university Press , 1941 . - 82
Nouveau