Harvey Friedman's research on the foundations of mathematics
L. A. Harrington, M.D. Morley, A. Scedrov, S. G. Simpson
This volume discusses various aspects of Harvey Friedman's research in the foundations of mathematics over the past fifteen years. It should appeal to a wide audience of mathematicians, computer scientists, and mathematically oriented philosophers.
Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.
