Barkley Rosser
E279033
UNEXPLORED
Barkley Rosser was an American logician and mathematician known for his contributions to recursion theory, proof theory, and the foundations of mathematics.
Referenced by (1)
| Subject (surface form when different) | Predicate |
|---|---|
|
Alonzo Church
→
|
notableStudent |