Dana Scott
Hillman University Professor of Mathematical Logic, Computer Science and Philosophy
Contact
Research
- Model and Set Theory
- Foundations of Logic and Mathematics
- Symbolic Mathematical Computation