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 |