000 | 02197nam a22003375i 4500 | ||
---|---|---|---|
001 | 325799 | ||
003 | MX-SnUAN | ||
005 | 20160429161811.0 | ||
007 | cr nn 008mamaa | ||
008 | 160111s2014 ne | s |||| 0|eng d | ||
020 |
_a9789401788601 _9978-94-017-8860-1 |
||
035 | _avtls000425896 | ||
039 | 9 |
_y201601111135 _zstaff |
|
050 | 4 | _aBC1-199 | |
245 | 1 | 0 |
_aLeo esakia on duality in modal and intuitionistic logics / _cedited by Guram Bezhanishvili. |
264 | 1 |
_aDordrecht : _bSpringer Netherlands : _bSpringer, _c2014. |
|
300 |
_axiii, 334 páginas : _b44 ilustraciones |
||
336 |
_atexto _btxt _2rdacontent |
||
337 |
_acomputadora _bc _2rdamedia |
||
338 |
_arecurso en línea _bcr _2rdacarrier |
||
347 |
_aarchivo de texto _bPDF _2rda |
||
490 | 0 |
_aOutstanding Contributions to Logic, _x2211-2758 ; _v4 |
|
500 | _aSpringer eBooks | ||
505 | 0 | _aPreface -- Introduction -- Esakia’s Biography -- Canonical extensions, Esakia spaces, and universal models; Mai Gehrke -- Free modal algebras revisited: the step-by-step method; Nick Bezhanishvili, Silvio Ghilardi, and Mamuka Jibladze -- Easkia duality and its extensions; Sergio A. Celani and Ramon Jansana -- On the Blok-Esakia Theorem; Frank Wolter and Michael Zakharyaschev -- Modal logic and the Vietoris functor; Yde Venema and Jacob Vosmaer -- Logic KM: A Biography; Alexei Muravitsky -- Constructive modalities with provability smack; Tadeusz Litak -- Cantor-Bendixson properties of the assembly of a frame; Harold Simmons -- Topological interpretations of provability logic; Lev Beklemishev and David Gabelaia -- Derivational modal logics with the difference modality; Andrey Kudinov and Valentin Shehtman -- Esakia’s Bibliography. | |
590 | _aPara consulta fuera de la UANL se requiere clave de acceso remoto. | ||
700 | 1 |
_aBezhanishvili, Guram, _eeditor. _9347072 |
|
710 | 2 |
_aSpringerLink (Servicio en línea) _9299170 |
|
776 | 0 | 8 |
_iEdición impresa: _z9789401788595 |
856 | 4 | 0 |
_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-94-017-8860-1 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL) |
942 | _c14 | ||
999 |
_c325799 _d325799 |