Leon Henkin
E213035
UNEXPLORED
Leon Henkin was an American logician known for his influential work on completeness in first-order logic and for his contributions to the foundations of mathematics and mathematics education.
Referenced by (2)
| Subject (surface form when different) | Predicate |
|---|---|
|
Alfred Tarski
→
Alonzo Church → |
notableStudent |