Leon Henkin and a life of service

DOI10.1007/978-3-319-09719-0_6MaRDI QIDQ3454803zbMATH OpenOpenAlexFDO

Authors Benjamin Wells

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_6

zbMATH Keywords

logicmathematics educationserviceHenkinpersonal recollection

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03)

Recommendations

• A fortuitous year with Leon Henkin
• Leon Henkin
• Lessons from Leon
• Visions of Henkin
• Tracing back ``logic in wonderland to my work with Leon Henkin

Cites work

• scientific article; zbMATH DE number 3455165 (Why is no real title available?)
• scientific article; zbMATH DE number 5251084 (Why is no real title available?)
• scientific article; zbMATH DE number 3022976 (Why is no real title available?)
• Applying, extending, and specializing pseudorecursiveness
• Completeness in the theory of types
• The Discovery of My Completeness Proofs
• The metamathematics of algebraic systems. Collected papers: 1936-1967. Translated, edited, and provided with supplementary notes by Benjamin Franklin Wells III
• The theory of models. Proceedings of the 1963 international symposium at Berkeley

Cited in

(3)

• Lessons from Leon
• A fortuitous year with Leon Henkin
• Leon Henkin

This page was built for publication: Leon Henkin and a life of service

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3454803)