000 02763nam a22003615i 4500
001 322306
003 MX-SnUAN
005 20160429161533.0
007 cr nn 008mamaa
008 160111s2013 gw | s |||| 0|eng d
020 _a9783642350252
_9978-3-642-35025-2
035 _avtls000423018
039 9 _y201601111032
_zstaff
050 4 _aQA8.9-10.3
245 1 0 _aCylindric-like algebras and algebraic logic /
_cedited by Hajnal Andréka, Miklós Ferenczi, István Németi.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bSpringer,
_c2013.
300 _avi, 474 páginas :
336 _atexto
_btxt
_2rdacontent
337 _acomputadora
_bc
_2rdamedia
338 _arecurso en línea
_bcr
_2rdacarrier
347 _aarchivo de texto
_bPDF
_2rda
490 0 _aBolyai Society Mathematical Studies,
_x1217-4696 ;
_v22
500 _aSpringer eBooks
505 0 _aIntroduction -- H. Andréka and I. Németi: Reducing First-order Logic to Df3, Free Algebras -- N.Bezhanishvili: Varieties of Two-Dimensional Cylindric Algebras -- R. Hirsch and I. Hodkinson: Completions and Complete Representations -- J. Madarász and T. Sayed Ahmed: Amalgamation, Interpolation and Epimorphisms in Algebraic Logic -- T. Sayed Ahmed: Neat Reducts and Neat Embeddings in Cylindric Algebras -- M. Ferenczi: A New Representation Theory: Representing Cylindric-like Algebras by Relativized Set Algebras -- A. Simon: Representing all Cylindric Algebras by Twisting, On a Problem of Henkin -- A. Kurucz: Representable Cylindric Algebras and Many-Dimensional Modal Logics -- T. Sayed Ahmed: Completions, Complete Representations and Omitting Types -- G. Serény: Elements of Cylindric Algebraic Model Theory -- Y. Venema: Cylindric Modal Logic -- J. van Benthem: Crs and Guarded Logics: A Fruitful Contact -- R. S. Dordevic and M. D. Raskovic: Cylindric Probability Algebras.-I. Duentsch: Cylindric Algebras and Relational Databases. – M. Ferenczi: Probability Measures and Measurable Functions on Cylindric Algebras. – A. Mann: Cylindric Set Algebras and IF Logic. – G. Sági: Polyadic Algebras. – I. Sain: Definability Issues in Universal Logic. – Bibliography. - Index.
590 _aPara consulta fuera de la UANL se requiere clave de acceso remoto.
700 1 _aAndréka, Hajnal,
_eeditor.
_9367508
700 1 _aFerenczi, Miklós,
_eeditor.
_9367509
700 1 _aNémeti, István,
_eeditor.
_9367510
710 2 _aSpringerLink (Servicio en línea)
_9299170
776 0 8 _iEdición impresa:
_z9783642350245
856 4 0 _uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-3-642-35025-2
_zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942 _c14
999 _c322306
_d322306