Documents liés : [10 document(s)]

Documents (Mots clés)

• [MathOuvrage] 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
  
• [MathOuvrage] 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
  
• [MathOuvrage] Sentential probability logic / Hailperin, Theodore. -London : Associated university presses, 1996. - 304 p. ; 24 cm
  ISBN 9780934223454
  
• [MathOuvrage] Natural dualities for the working algebraist / Clark, David M. ; Davey, Brian A.. -Cambridge : Cambridge university Press, 1998. - xii, 356 p. ; 24 cm
  
• [MathOuvrage] Algebraizable logics / Blok, W.J. ; Pigozzi, D.. -Providence RI : American mathematical Society, 1989. - v, 78 p.
  
• [MathOuvrage] Algebraic logic / Gindikin, Simon G.. -Berlin : Springer, 1985. - xviii, 356
  https://link.springer.com/bookseries/714
  
• [MathOuvrage] 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
  
• [MathOuvrage] The Calculi of lambda-conversion / Church, Alonzo. -Princeton : Princeton university Press, 1941. - 82
  
• [MathCongrès] Models and sets part 1 / Ed. Mueller, Gert H. ; Ed. Richter, Michael M.. -Berlin : Springer, 1984. - viii, 484
  https://doi.org/10.1007/BFb0099377
  
• [MathOuvrage] Semigroups underlying first-order logic / Craig, William. -Providence RI : American mathematical Society, 2006. - xxv, 263 p. ; 26 cm
  ISBN 9780821841495