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.
