Computability: Turing, Gödel, Church, and Beyond
In the 1930s a series of seminal works published by Alan Turing, Kurt Gödel, Alonzo Church, and others established the theoretical basis for computability. This work, advancing precise characterizations of effective, algorithmic computability, was the culmination of intensive investigations into the foundations of mathematics. In the...
Advanced Real Analysis
This book and its companion volume Basic Real Analysis systematically develop
concepts and tools in real analysis that are vital to every mathematician, whether
pure or applied, aspiring or established. The two books together contain what the
young mathematician needs to know about real analysis in order to communicate