Friedman, Harvey, Logic, Symbolic and mathematical, Mathematics, Mathematics - Philosophy, Mathematics/ Philosophy
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.