William Alvin Howard

The face

The background

Nationality:

American

Schools:

American Mathematical Society

Branchs:

Proof theory, Intuitionistic logic, Simply typed lambda calculus, Proof-theoretic ordinals

The synopsis