Leon Henkin and a life of service

DOI10.1007/978-3-319-09719-0_6zbMATH Open1326.03007OpenAlexW3862086MaRDI QIDQ3454803FDOQ3454803

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

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

zbMATH Keywords

logicmathematics educationserviceHenkinpersonal recollection

Mathematics Subject Classification ID

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

Cites Work

• Completeness in the theory of types
• The metamathematics of algebraic systems. Collected papers: 1936-1967. Translated, edited, and provided with supplementary notes by Benjamin Franklin Wells III
• Title not available (Why is that?)
• The Discovery of My Completeness Proofs
• Applying, extending, and specializing pseudorecursiveness
• The theory of models. Proceedings of the 1963 international symposium at Berkeley
• Title not available (Why is that?)
• Title not available (Why is that?)

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)