author : Harvey Friedman

Short works

• Applications of mathematics to theoretical computer science. 1988. (In Emerging Syntheses in Science )