In Memoriam: Leon Albert Henkin 1921–2006
From MaRDI portal
Publication:3398617
DOI10.2178/bsl/1246453978zbMath1171.01322OpenAlexW2044424528MaRDI QIDQ3398617
Publication date: 29 September 2009
Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/bsl/1246453978
Related Items (2)
Cites Work
- Representable cylindric algebras
- Extending Boolean operations
- Are Logic and Mathematics Identical?
- Two concepts from the theory of models
- Some notes on nominalism
- On the definition of ‘formal deduction’
- A generalization of the concept ofω-completeness
- The Logic of Equality
- A Euclidean Construction?
- In Memoriam: Raphael Mitchel Robinson
- The Discovery of My Completeness Proofs
- On Mathematical Induction
- Mathematical Foundations for Mathematics
- An extension of the Craig-Lyndon interpolation theorem
- The completeness of the first-order functional calculus
- Fragments of the propositional calculus
- Completeness in the theory of types
- Banishing the rule of substitution for functional variables
- A generalization of the concept of ω-consistency
This page was built for publication: In Memoriam: Leon Albert Henkin 1921–2006