home
>
book reviews
> Harvey Friedman
Google >
Harvey Friedman
author : Harvey Friedman
Short works
Applications of mathematics to theoretical computer science. 1988.
(In
Emerging Syntheses in Science
)