The life and work of leon henkin : essays on his contributions / edited by María Manzano, Ildikó Sain, Enrique Alonso.
Tipo de material:
TextoSeries Studies in Universal LogicEditor: Cham : Springer International Publishing : Imprint: Birkhäuser, 2014Descripción: xxii, 351 páginas : 14 ilustraciones, 1 ilustraciones en colorTipo de contenido: - texto
- computadora
- recurso en línea
- 9783319097190
- QA8.9-10.3
Springer eBooks
Part 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.
Para consulta fuera de la UANL se requiere clave de acceso remoto.