Visions of Henkin
From MaRDI portal
Publication:514560
DOI10.1007/S11229-013-0389-7zbMATH Open1357.03006OpenAlexW2114220605MaRDI QIDQ514560FDOQ514560
Authors: María Manzano, Enrique Alonso 
Publication date: 9 March 2017
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11229-013-0389-7
Recommendations
Philosophical and critical aspects of logic and foundations (03A05) Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- A theory of prepositional types
- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
- The Discovery of My Completeness Proofs
- Some notes on nominalism
- Alonzo church:his life, his work and some of his miracles
- Title not available (Why is that?)
- On Mathematical Induction
- An extension of the Craig-Lyndon interpolation theorem
- Diagonalisation and Church's Thesis: Kleene's Homework
- Banishing the rule of substitution for functional variables
Cited In (9)
- Henkin on completeness
- Henkin and hybrid logic
- A fortuitous year with Leon Henkin
- Leon Henkin
- Tracing back ``logic in wonderland to my work with Leon Henkin
- Leon Henkin and a life of service
- 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
This page was built for publication: Visions of Henkin
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q514560)
