000			02489nam a22003615i 4500
001			317843
003			MX-SnUAN
005			20160429161046.0
007			cr nn 008mamaa
008			160108s2014 gw | s |||| 0|eng d
020			_a9783319097190 _9978-3-319-09719-0
035			_avtls000418167
039		9	_y201601081150 _zstaff
050		4	_aQA8.9-10.3
245	1	4	_aThe life and work of leon henkin : _bessays on his contributions / _cedited by María Manzano, Ildikó Sain, Enrique Alonso.
264		1	_aCham : _bSpringer International Publishing : _bImprint: Birkhäuser, _c2014.
300			_axxii, 351 páginas : _b14 ilustraciones, 1 ilustraciones en color.
336			_atexto _btxt _2rdacontent
337			_acomputadora _bc _2rdamedia
338			_arecurso en línea _bcr _2rdacarrier
347			_aarchivo de texto _bPDF _2rda
490	0		_aStudies in Universal Logic, _x2297-0282
500			_aSpringer eBooks
505	0		_aPart I Biographical Studies -- Leon Henkin -- Lessons from Leon -- Tracing back “Logic in Wonderland” to my work with Leon Henkin -- Henkin and the Suit -- A Fortuitous Year with Leon Henkin -- Leon Henkin and a Life of Service -- Part II Henkin‘s Contribution to XX Century Logic -- Leon Henkin and Cylindric Algebras -- A Bit of History Related to Logic Based on Equality -- Pairing Logical and Pedagogical Foundations for the Theory of Positive Rational Numbers. Henkin‘s unfinished work -- Leon Henkin the Reviewer -- Henkin‘s Theorem in Textbooks -- Henkin on Completeness -- Part III Extensions and Perspectives in Henkin‘s Work -- The Countable Henkin Principle -- Reflections on a Theorem of Henkin -- Henkin‘s Completeness Proof and Glivenko‘s Theorem -- From Classical to Fuzzy Type Theory -- The Henkin Sentence -- April the 19th -- Henkin and Hybrid Logic -- Changing a Semantics: Oportunism or Courage? -- Appendix Curriculum Vitae: Leon Henkin.
590			_aPara consulta fuera de la UANL se requiere clave de acceso remoto.
700	1		_aManzano, María, _eeditor. _9340453
700	1		_aSain, Ildikó, _eeditor. _9361516
700	1		_aAlonso, Enrique, _eeditor. _9245192
710	2		_aSpringerLink (Servicio en línea) _9299170
776	0	8	_iEdición impresa: _z9783319097183
856	4	0	_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-3-319-09719-0 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942			_c14
999			_c317843 _d317843