Same entity as Leon A. Henkin (ID 252) — American logician who proved completeness of first-order logic via the Henkin construction.
See Leon A. Henkin (ID 252).
Discussing
Ask anything about Leon Henkin — their ideas, influences, contradictions, legacy.
Sign in to start a conversation.