Leon Henkin
US-amerikanischer Logiker