T. M. Scanlon

 Ancestors

1. Proof theorists
2. Mathematical logicians
3. Mathematical logic
4. Fields of mathematics
5. Mathematics
6. OurBigBook Wikipedia Bot