Leon Henkin
From MaRDI portal
Publication:3454796
DOI10.1007/978-3-319-09719-0_1zbMath1326.01061OpenAlexW4251286799MaRDI QIDQ3454796
Publication date: 27 November 2015
Published in: Studies in Universal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-09719-0_1
Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Tarski's conception of logic
- Are Logic and Mathematics Identical?
- Some notes on nominalism
- A generalization of the concept ofω-completeness
- In Memoriam: Leon Albert Henkin 1921–2006
- The Logic of Equality
- The Discovery of My Completeness Proofs
- A theory of prepositional types
- On Mathematical Induction
- Mathematical Foundations for Mathematics
- An extension of the Craig-Lyndon interpolation theorem
- The completeness of the first-order functional calculus
- On Universals
- Completeness in the theory of types
- Steps toward a constructive nominalism
- Banishing the rule of substitution for functional variables
- A generalization of the concept of ω-consistency