Leon Henkin and a Life of Service

DOI10.1007/978-3-319-09719-0_6zbMath1326.03007OpenAlexW3862086MaRDI QIDQ3454803

Benjamin B. jun. 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)

Cites Work

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

This page was built for publication: Leon Henkin and a Life of Service