Scott, Dana
cs.cmu.eduCarnegie Mellon University - Model theory, set theory, foundations of logic and mathematics, symbolic mathematical computation.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.